Jan Křetínský

2015

Mária Svoreňová, Jan Křetínský, Martin Chmelík, Krishnendu Chatterjee, Ivana Černá, and Calin Belta:
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games,
Proceedings of ACM international conference on Hybrid Systems: Computation and Control, Association for Computing Machinery (ACM), 2015, 259-268. [bibtex]

2011

Nikola Beneš, Ivana Černá, and Jan Křetínský:
Modal Transition Systems: Composition and LTL Model Checking,
ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, Springer, 2011, 228-242. [bibtex]