Publications

13 results for Christian Muise

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

LTL realizability via safety and reachability games