LTL realizability via safety and reachability games

Camacho A.; Muise C.; Baier, J. A.; McIlraith S.A.

Más información

Título según SCOPUS: LTL realizability via safety and reachability games
Título de la Revista: IJCAI International Joint Conference on Artificial Intelligence
Volumen: 2018-July
Editorial: International Joint Conferences on Artificial Intelligence
Fecha de publicación: 2018
Página de inicio: 4683
Página final: 4691
Idioma: English
Notas: SCOPUS