prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
profesor – Katedra teorie programování
kancelář: C514
Botanická 554/68a
602 00 Brno
telefon: | 549 49 4085 |
---|
sociální a akademické sítě: |
---|
Počet publikací: 63
2019
-
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games
Computer Aided Verification (CAV 2019), rok: 2019
-
Strategy Representation by Decision Trees with Linear Classifiers
Quantitative Evaluation of Systems (QEST 2019), rok: 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), rok: 2018
-
Continuous-Time Markov Decisions Based on Partial Exploration
Automated Technology for Verification and Analysis. ATVA 2018, rok: 2018
-
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
29th International Conference on Concurrency Theory (CONCUR 2018), rok: 2018
-
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes
Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), rok: 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), rok: 2018
-
Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm
Computer Aided Verification (CAV 2018), rok: 2018
2017
-
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
Nonlinear Analysis: Hybrid Systems, rok: 2017, ročník: 23, vydání: 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, rok: 2016