RNDr. Mgr. Bc. Jan Křetínský

Personal photo

 

 
2014

ESPARZA, Javier - KŘETÍNSKÝ, Jan.
From LTL to Deterministic Automata: A Safraless Compositional Approach. In Computer Aided Verification - 26th International Conference, CAV 2014. Heidelberg Dordrecht London New York : Springer, 2014.


more

 

HERMANNS, Holger - KRČÁL, Jan - KŘETÍNSKÝ, Jan.
Probabilistic Bisimulation: Naturally on Distributions. In CONCUR 2014 - Concurrency Theory - 25th International Conference. Heidelberg Dordrecht London New York : Springer, 2014.


more

 

KOMÁRKOVÁ, Zuzana - KŘETÍNSKÝ, Jan.
Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata. In Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014. Heidelberg Dordrecht London New York : Springer, 2014.


more

 

BRÁZDIL, Tomáš - CHATTERJEE, Krishnendu - CHMELÍK, Martin - FOREJT, Vojtěch - KŘETÍNSKÝ, Jan - KWIATKOWSKA, Marta - PARKER, David - UJMA, Mateusz.
Verification of Markov Decision Processes using Learning Algorithms. In Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014. Heidelberg Dordrecht London New York : Springer, 2014.


more

 
2013

CHATTERJEE, Krishnendu - GAISER, Andreas - KŘETÍNSKÝ, Jan.
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis. In Computer Aided Verification - 25th International Conference, CAV 2013. Heidelberg Dordrecht London New York : Springer, 2013. ISBN 978-3-642-39798-1, pp. 559-575.


more

 

HERMANNS, Holger - KRČÁL, Jan - KŘETÍNSKÝ, Jan.
Compositional Verification and Optimization of Interactive Markov Chains. In CONCUR 2013 - Concurrency Theory - 24th International Conference. Heidelberg Dordrecht London New York : Springer, 2013. ISBN 978-3-642-40183-1, pp. 364-379.


more

 

BRÁZDIL, Tomáš - FOREJT, Vojtěch - KRČÁL, Jan - KŘETÍNSKÝ, Jan - KUČERA, Antonín.
Continuous-Time Stochastic Games with Time-Bounded Reachability. Information and Computation, Elsevier, The Nederlands. ISSN 0890-5401, 2013, vol. 224, no. 1, pp. 46-70.


more

 

BENEŠ, Nikola - DELAHAYE, Benoit - FAHRENBERG, Uli - KŘETÍNSKÝ, Jan - LEGAY, Axel.
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. In CONCUR 2013 - Concurrency Theory - 24th International Conference. Heidelberg Dordrecht London New York : Springer, 2013. ISBN 978-3-642-40183-1, pp. 76-90.


more

 

KŘETÍNSKÝ, Jan - SICKERT, Salomon.
MoTraS: A Tool for Modal Transition Systems and Their Extensions. In Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013. Heidelberg Dordrecht London New York : Springer, 2013. ISBN 978-3-319-02443-1, pp. 487-491.


more

 

KŘETÍNSKÝ, Jan - SICKERT, Salomon.
On Refinements of Boolean and Parametric Modal Transition Systems. In Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium. Heidelberg Dordrecht London New York : Springer, 2013. ISBN 978-3-642-39717-2, pp. 213-230.


more

 

BRÁZDIL, Tomáš - KORENČIAK, Ľuboš - KRČÁL, Jan - KŘETÍNSKÝ, Jan - ŘEHÁK, Vojtěch.
On time-average limits in deterministic and stochastic Petri nets. In ACM/SPEC International Conference on Performance Engineering, ICPE'13. New York : ACM, 2013. ISBN 978-1-4503-1636-1, pp. 421-422.


more

 

KŘETÍNSKÝ, Jan - LEDESMA GARZA, Ruslan.
Rabinizer 2: Small Deterministic Automata for LTL\GU. In Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013. Heidelberg Dordrecht London New York : Springer, 2013. ISBN 978-3-319-02443-1, pp. 446-450.


more

 
2012

KŘETÍNSKÝ, Jan - ESPARZA, Javier.
Deterministic Automata for the (F,G)-fragment of LTL. In Computer Aided Verification - 24th International Conference. Heidelberg Dordrecht London New York : Springer, 2012. ISBN 978-3-642-31423-0, pp. 7-22. Berkeley, CA, USA.


more

 

BENEŠ, Nikola - KŘETÍNSKÝ, Jan - LARSEN, Kim G. - MOLLER, Mikael H. - SRBA, Jiří.
Dual-Priced Modal Transition Systems with Time Durations. In LPAR-18 - Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference. Heidelberg Dordrecht London New York : Springer, 2012. ISBN 978-3-642-28716-9, pp. 122-137. Merida, Venezuela.


more

 

BENEŠ, Nikola - KŘETÍNSKÝ, Jan - LARSEN, Kim G. - SRBA, Jiří.
EXPTIME-Completeness of Thorough Refinement on Modal Transition Systems. Information and Computation, Elsevier, The Nederlands. ISSN 0890-5401, 2012, vol. 218, no. September, pp. 54-68.


more

 

BENEŠ, Nikola - KŘETÍNSKÝ, Jan.
Modal Process Rewrite Systems. In Theoretical Aspects of Computing - ICTAC 2012. Berlin Heidelberg : Springer, 2012. ISBN 978-3-642-32942-5, pp. 120-135. Bangalore, Indie.


more

 

GAISER, Andreas - KŘETÍNSKÝ, Jan - ESPARZA, Javier.
Rabinizer: Small Deterministic Automata for LTL(F,G). In Automated Technology for Verification and Analysis - 10th International Symposium ATVA 2012. Berlin Heidelberg : Springer, 2012. ISBN 978-3-642-33385-9, pp. 72-76.


more

 

BRÁZDIL, Tomáš - HERMANNS, Holger - KRČÁL, Jan - KŘETÍNSKÝ, Jan - ŘEHÁK, Vojtěch.
Verification of Open Interactive Markov Chains. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012). Dagstuhl, Germany : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2012. ISBN 978-3-939897-47-7, pp. 474-485.


more

 
2011

BRÁZDIL, Tomáš - KRČÁL, Jan - KŘETÍNSKÝ, Jan - ŘEHÁK, Vojtěch.
Fixed-delay Events in Generalized Semi-Markov Processes Revisited. In CONCUR 2011 - Concurrency Theory: 22nd International Conference. Berlin Heidelberg New York : Springer, 2011. ISBN 978-3-642-23216-9, pp. 140-155. Aachen, Německo.


more

 

BRÁZDIL, Tomáš - KRČÁL, Jan - KŘETÍNSKÝ, Jan - KUČERA, Antonín - ŘEHÁK, Vojtěch.
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata. In HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control. New York : ACM, 2011. ISBN 978-1-4503-0629-4, pp. 33-42. 12.4.2011, Chicago, IL, USA.


more

 

BENEŠ, Nikola - ČERNÁ, Ivana - KŘETÍNSKÝ, Jan.
Modal Transition Systems: Composition and LTL Model Checking. In ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium. Heidelberg Dordrecht London New York : Springer, 2011. ISBN 978-3-642-24371-4, pp. 228-242. Taipei, Taiwan.


more

 

BENEŠ, Nikola - KŘETÍNSKÝ, Jan - LARSEN, Kim G. - MOLLER, Mikael H. - SRBA, Jiří.
Parametric Modal Transition Systems. In ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium. Heidelberg Dordrecht London New York : Springer, 2011. ISBN 978-3-642-24371-4, pp. 275-289. Taipei, Taiwan.


more

 

BENEŠ, Nikola - KŘETÍNSKÝ, Jan.
Process Algebra for Modal Transition Systemses. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Dagstuhl, Germany : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011. ISBN 978-3-939897-22-4, pp. 9--18. 2011, Mikulov.


more

 
2010

BENEŠ, Nikola - KŘETÍNSKÝ, Jan.
Process Algebra for Modal Transition Systemses. In MEMICS 2010. Brno : NOVPRESS s.r.o., 2010. ISBN 978-80-87342-10-7, pp. 20-27. 2010, Mikulov.


more

 

BRÁZDIL, Tomáš - KRČÁL, Jan - KŘETÍNSKÝ, Jan - KUČERA, Antonín - ŘEHÁK, Vojtěch.
Stochastic Real-Time Games with Qualitative Timed Automata Objectives. In CONCUR 2010 - Concurrency Theory. Berlin Heidelberg New York : Springer, 2010. ISBN 978-3-642-15374-7, pp. 207-221. 31.8.2010, Paris, France.


more

 
2009

BRÁZDIL, Tomáš - FOREJT, Vojtěch - KRČÁL, Jan - KŘETÍNSKÝ, Jan - KUČERA, Antonín.
Continuous-Time Stochastic Games with Time-Bounded Reachability. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009). Dagstuhl, Germany : Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2009. ISBN 978-3-939897-13-2, pp. 61-72. 15.12.2009, IIT Kanpur, India.


more

 

BENEŠ, Nikola - KŘETÍNSKÝ, Jan - LARSEN, Kim G. - SRBA, Jiří.
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. In Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings. Heidelberg : Springer-Verlag, 2009. ISBN 978-3-642-03465-7, pp. 112-126. 2009, Kuala Lumpur.


more

 

BENEŠ, Nikola - KŘETÍNSKÝ, Jan - LARSEN, Kim G. - SRBA, Jiří.
On Determinism in Modal Transition Systems. Theoretical Computer Science, Elsevier, The Nederlands. ISSN 0304-3975, 2009, vol. 410/2009, no. 41, pp. 4026-4043.


more

 
2008

BRÁZDIL, Tomáš - FOREJT, Vojtěch - KŘETÍNSKÝ, Jan - KUČERA, Antonín.
The Satisfiability Problem for Probabilistic CTL. In 23rd IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, USA, Proceedings. Los Alamitos, California : IEEE Computer Society, 2008. ISBN 978-0-7695-3183-0, pp. 391-402. 24.6.2008, Pittsburgh, USA.


more