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.
4 Publications
2023 | Published | Conference Paper | IST-REx-ID: 13967 | 
Kretinsky, Jan, Stopping criteria for value iteration on stochastic games with quantitative objectives. 38th Annual ACM/IEEE Symposium on Logic in Computer Science 2023. 2023
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10004 |
Chatterjee, Krishnendu, Stochastic processes with expected stopping time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 2021
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10002 |
Chatterjee, Krishnendu, Symbolic time and space tradeoffs for probabilistic verification. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 2021
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
1996 | Published | Conference Paper | IST-REx-ID: 4519
Henzinger TA. The theory of hybrid automata. In: Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1996:278-292. doi:10.1109/LICS.1996.561342
View
| DOI
| Download None (ext.)