Article SCOPUS
IJCAI International Joint Conference on Artificial Intelligence  (2018)

LTL realizability via safety and reachability games

Baier, J. 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