LTL realizability via safety and reachability games
- Alberto Camacho
- Christian Muise
- et al.
- 2018
- IJCAI 2018
Conference paper
Publications
13 results for Christian Muise
Characterizing and computing all delete-relaxed dead-ends
- Christian Muise
- 2018
- COPLAS 2018
Conference paperFinite LTL synthesis as planning
- Alberto Camacho
- Jorge A. Baier
- et al.
- 2018
- ICAPS 2018
Conference paper