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: 63
2019
-
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games
Computer Aided Verification (CAV 2019), year: 2019
-
Strategy Representation by Decision Trees with Linear Classifiers
Quantitative Evaluation of Systems (QEST 2019), year: 2019
2018
-
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '18), year: 2018
-
Continuous-Time Markov Decisions Based on Partial Exploration
Automated Technology for Verification and Analysis. ATVA 2018, year: 2018
-
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
29th International Conference on Concurrency Theory (CONCUR 2018), year: 2018
-
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes
Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), year: 2018
-
Strategy Representation by Decision Trees in Reactive Synthesis
24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), year: 2018
-
Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm
Computer Aided Verification (CAV 2018), year: 2018
2017
-
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
Nonlinear Analysis: Hybrid Systems, year: 2017, volume: 23, edition: February 2017, DOI
2016
-
Faster Statistical Model Checking for Unbounded Temporal Properties
Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, year: 2016