Towards symbolic strategy synthesis for A-LTL

Aidan Harding; Mark Ryan; Pierre-Yves Schobbens

Towards symbolic strategy synthesis for A-LTL

Aidan Harding, Mark Ryan, Pierre-Yves Schobbens

Faculte d'informatique

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

langue originale	Anglais
titre	10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003),
Pages	137-146
Nombre de pages	10
Etat de la publication	Publié - 2003

Contient cette citation

@inproceedings{43a0905ff65f497fb0a144c360bac57a,

title = "Towards symbolic strategy synthesis for A-LTL",

author = "Aidan Harding and Mark Ryan and Pierre-Yves Schobbens",

year = "2003",

language = "English",

pages = "137--146",

booktitle = "10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003),",

}

Towards symbolic strategy synthesis for A-LTL. / Harding, Aidan; Ryan, Mark; Schobbens, Pierre-Yves.
10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003),. 2003. p. 137-146.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque