Nir Lipovetzky
Nir Lipovetzky
Home
News
Projects
Publications
Students
Awards
Service
Teaching
Contact
Nir Lipoveztky
Latest
Computing Infinite Plans for LTL Goals Using a Classical Planner
Cite
×