LTL realizability via safety and reachability games
- Alberto Camacho
- Christian Muise
- et al.
- 2018
- IJCAI 2018
Publications
5 results for Jorge A. Baier
Finite LTL synthesis as planning
- Alberto Camacho
- Jorge A. Baier
- et al.
- 2018
- ICAPS 2018
Online bridged pruning for real-time search with arbitrary lookaheads
- Carlos Hernández Ulloa
- Adi Botea
- et al.
- 2017
- IJCAI 2017
Fast Algorithm for Catching a Prey Quickly in Known and Partially Known Game Maps
- Jorge A. Baier
- Adi Botea
- et al.
- 2015
- IEEE T-CIAIG
Moving target search with compressed path databases
- Adi Botea
- Jorge A. Baier
- et al.
- 2013
- ICAPS 2013