![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
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í: 64
2019
-
Of Cores: A Partial-Exploration Framework for Markov Decision Processes
30th International Conference on Concurrency Theory (CONCUR 2019), rok: 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