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