prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
Professor, Department of Computer Science
Office: C514
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4085 |
---|
social and academic networks: |
---|
Total number of publications: 58
2014
-
Probabilistic Bisimulation: Naturally on Distributions
CONCUR 2014 - Concurrency Theory - 25th International Conference, year: 2014
-
Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, year: 2014
-
Verification of Markov Decision Processes using Learning Algorithms
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, year: 2014
2013
-
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis
Computer Aided Verification - 25th International Conference, CAV 2013, year: 2013
-
Compositional Verification and Optimization of Interactive Markov Chains
CONCUR 2013 - Concurrency Theory - 24th International Conference, year: 2013
-
Continuous-Time Stochastic Games with Time-Bounded Reachability
Information and Computation, year: 2013, volume: 224, edition: 1, DOI
-
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
CONCUR 2013 - Concurrency Theory - 24th International Conference, year: 2013
-
MoTraS: A Tool for Modal Transition Systems and Their Extensions
Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, year: 2013
-
On Refinements of Boolean and Parametric Modal Transition Systems
Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, year: 2013
-
On time-average limits in deterministic and stochastic Petri nets
ACM/SPEC International Conference on Performance Engineering, ICPE'13, year: 2013