Publications

5 results at ICAPS 2018

Finite LTL synthesis as planning
- - Alberto Camacho
  - Jorge A. Baier
  - et al.
- 2018
- ICAPS 2018
Conference paper
Two-oracle optimal path planning on grid maps
- - Matteo Salvetti
  - Adi Botea
  - et al.
- 2018
- ICAPS 2018
Conference paper
A novel iterative approach to top-k planning
- - Michael Katz
  - Shirin Sohrabi
  - et al.
- 2018
- ICAPS 2018
Conference paper
Symmetry-based task reduction for relaxed reachability analysis
- - Gabriele Röger
  - Silvan Sievers
  - et al.
- 2018
- ICAPS 2018
Conference paper
Delfi: Online Planner Selection for Cost-Optimal Planning
- - Michael Katz
  - Shirin Sohrabi
  - et al.
- 2018
- ICAPS 2018
Workshop paper