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.

3 Publications


2021 | Conference Paper | IST-REx-ID: 10002 | OA
Chatterjee, Krishnendu, Wolfgang Dvorak, Monika Henzinger, and Alexander Svozil. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. Institute of Electrical and Electronics Engineers, 2021. https://doi.org/10.1109/LICS52264.2021.9470739.
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10004 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. Institute of Electrical and Electronics Engineers, 2021. https://doi.org/10.1109/LICS52264.2021.9470595.
View | DOI | Download Preprint (ext.) | arXiv
 

1996 | Conference Paper | IST-REx-ID: 4519
Henzinger, Thomas A. “The Theory of Hybrid Automata.” In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 278–92. IEEE, 1996. https://doi.org/10.1109/LICS.1996.561342 .
View | DOI | Download None (ext.)
 

Filters and Search Terms

issn=1043-6871

Search

Filter Publications