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

Faculty of Computer Science

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003),
Pages	137-146
Number of pages	10
Publication status	Published - 2003

Cite this

@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),",

}