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 |
Towards symbolic strategy synthesis for A-LTL
Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution