Timed alternating-time temporal logic
Henzinger TA, Prabhu V. 2006. Timed alternating-time temporal logic. Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4202, 1–17.
Download
No fulltext has been uploaded. References only!
Conference Paper
| Published
| English
Author
Henzinger, Thomas AISTA 
;
Prabhu, Vinayak
;
Prabhu, VinayakSeries Title
LNCS
Abstract
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL by restricting the players to physically meaningful strategies, which do not prevent time from diverging. We show that TATL can be model checked over timed automaton games. We also specify timed optimization problems for physically meaningful strategies, and we show that for timed automaton games, the optimal answers can be approximated to within any degree of precision.
Publishing Year
Date Published
2006-09-19
Proceedings Title
Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Publisher
Springer Nature
Acknowledgement
This research was supported in part by the NSF grants CCR-0208875, CCR-0225610, and CCR-0234690.
Volume
4202
Page
1 - 17
Conference
FORMATS: Formal Modeling and Analysis of Timed Systems
Conference Location
Paris, France
Conference Date
2006-09-25 – 2006-09-27
ISBN
ISSN
eISSN
IST-REx-ID
Cite this
Henzinger TA, Prabhu V. Timed alternating-time temporal logic. In: Proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 4202. Springer Nature; 2006:1-17. doi:10.1007/11867340_1
Henzinger, T. A., & Prabhu, V. (2006). Timed alternating-time temporal logic. In Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems (Vol. 4202, pp. 1–17). Paris, France: Springer Nature. https://doi.org/10.1007/11867340_1
Henzinger, Thomas A, and Vinayak Prabhu. “Timed Alternating-Time Temporal Logic.” In Proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, 4202:1–17. Springer Nature, 2006. https://doi.org/10.1007/11867340_1.
T. A. Henzinger and V. Prabhu, “Timed alternating-time temporal logic,” in Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems, Paris, France, 2006, vol. 4202, pp. 1–17.
Henzinger TA, Prabhu V. 2006. Timed alternating-time temporal logic. Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4202, 1–17.
Henzinger, Thomas A., and Vinayak Prabhu. “Timed Alternating-Time Temporal Logic.” Proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 4202, Springer Nature, 2006, pp. 1–17, doi:10.1007/11867340_1.
Google Scholar
ISBN Search