Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1 Publication
1999 | Conference Paper | IST-REx-ID: 4601
Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.” In Proceedings of the International Symposium on Compositionality, 1536:23–60. Springer, 1999. https://doi.org/10.1007/3-540-49213-5_2.
View
| DOI