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.

6 Publications


2023 | Published | Conference Paper | IST-REx-ID: 13967 | OA
Kretinsky, J., Meggendorfer, T., & Weininger, M. (2023). Stopping criteria for value iteration on stochastic games with quantitative objectives. In 38th Annual ACM/IEEE Symposium on Logic in Computer Science (Vol. 2023). Boston, MA, United States: IEEE. https://doi.org/10.1109/LICS56636.2023.10175771
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10002 | OA
Chatterjee, K., Dvorak, W., Henzinger, M., & Svozil, A. (2021). Symbolic time and space tradeoffs for probabilistic verification. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: IEEE. https://doi.org/10.1109/LICS52264.2021.9470739
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

earlier version | 2021 | Published | Conference Paper | IST-REx-ID: 10004 | OA
Chatterjee, K., & Doyen, L. (2021). Stochastic processes with expected stopping time. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: IEEE. https://doi.org/10.1109/LICS52264.2021.9470595
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2005 | Published | Conference Paper | IST-REx-ID: 4554
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2005). Mean-payoff parity games. In Proceedings. 20th Annual IEEE Symposium on Logic in Computer Science (pp. 178–187). Chicago, IL, United States: IEEE. https://doi.org/10.1109/LICS.2005.26
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 3895
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2004). Games with secure equilibria. In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (pp. 160–169). Turku, Finland: IEEE. https://doi.org/10.1109/LICS.2004.1319610
View | DOI
 

1996 | Published | Conference Paper | IST-REx-ID: 4519
Henzinger, T. A. (1996). The theory of hybrid automata. In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (pp. 278–292). New Brunswick, NJ, United States of America: IEEE. https://doi.org/10.1109/LICS.1996.561342
View | DOI | Download None (ext.)
 

Filters and Search Terms

issn=1043-6871

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed