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 |
Stopping criteria for value iteration on stochastic games with quantitative objectives
J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 38th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 38th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2023.
2021 |
Published |
Conference Paper |
IST-REx-ID: 10002 |
Symbolic time and space tradeoffs for probabilistic verification
K. Chatterjee, W. Dvorak, M. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2021, pp. 1–13.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, W. Dvorak, M. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2021, pp. 1–13.
earlier version | 2021 |
Published |
Conference Paper |
IST-REx-ID: 10004 |
Stochastic processes with expected stopping time
K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2021, pp. 1–13.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2021, pp. 1–13.
2005 |
Published |
Conference Paper |
IST-REx-ID: 4554
Mean-payoff parity games
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, Proceedings. 20th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2005, pp. 178–187.
View
| DOI
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, Proceedings. 20th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2005, pp. 178–187.
2004 |
Published |
Conference Paper |
IST-REx-ID: 3895
Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2004, pp. 160–169.
View
| DOI
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2004, pp. 160–169.
1996 |
Published |
Conference Paper |
IST-REx-ID: 4519
The theory of hybrid automata
T.A. Henzinger, in:, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 278–292.
View
| DOI
| Download None (ext.)
T.A. Henzinger, in:, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 278–292.