[{"publication_status":"published","conference":{"location":"Paris, France","name":"FORMATS: Formal Modeling and Analysis of Timed Systems","end_date":"2006-09-27","start_date":"2006-09-25"},"publication":"Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems","type":"conference","doi":"10.1007/11867340_1","citation":{"ieee":"T. A. Henzinger and V. Prabhu, “Timed alternating-time temporal logic,” in <i>Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems</i>, Paris, France, 2006, vol. 4202, pp. 1–17.","apa":"Henzinger, T. A., &#38; Prabhu, V. (2006). Timed alternating-time temporal logic. In <i>Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems</i> (Vol. 4202, pp. 1–17). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/11867340_1\">https://doi.org/10.1007/11867340_1</a>","short":"T.A. Henzinger, V. Prabhu, in:, Proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2006, pp. 1–17.","chicago":"Henzinger, Thomas A, and Vinayak Prabhu. “Timed Alternating-Time Temporal Logic.” In <i>Proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems</i>, 4202:1–17. Springer Nature, 2006. <a href=\"https://doi.org/10.1007/11867340_1\">https://doi.org/10.1007/11867340_1</a>.","ama":"Henzinger TA, Prabhu V. Timed alternating-time temporal logic. In: <i>Proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems</i>. Vol 4202. Springer Nature; 2006:1-17. doi:<a href=\"https://doi.org/10.1007/11867340_1\">10.1007/11867340_1</a>","ista":"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.","mla":"Henzinger, Thomas A., and Vinayak Prabhu. “Timed Alternating-Time Temporal Logic.” <i>Proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems</i>, vol. 4202, Springer Nature, 2006, pp. 1–17, doi:<a href=\"https://doi.org/10.1007/11867340_1\">10.1007/11867340_1</a>."},"article_processing_charge":"No","language":[{"iso":"eng"}],"status":"public","date_published":"2006-09-19T00:00:00Z","day":"19","date_created":"2018-12-11T12:08:49Z","author":[{"first_name":"Thomas A","full_name":"Henzinger, Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Prabhu","first_name":"Vinayak","full_name":"Prabhu, Vinayak"}],"alternative_title":["LNCS"],"extern":"1","publist_id":"296","publication_identifier":{"eissn":["1611-3349"],"issn":["0302-9743"],"eisbn":["9783540450313"],"isbn":["9783540450269"]},"oa_version":"None","acknowledgement":"This research was supported in part by the NSF grants CCR-0208875, CCR-0225610, and CCR-0234690.","publisher":"Springer Nature","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","year":"2006","intvolume":"      4202","month":"09","abstract":[{"text":"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.","lang":"eng"}],"title":"Timed alternating-time temporal logic","_id":"4432","date_updated":"2026-08-21T11:39:08Z","OA_type":"closed access","volume":4202,"page":"1 - 17"}]