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í: 58
2023
-
Guessing Winning Policies in LTL Synthesis by Semantic Learning
Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings, Part I, rok: 2023
-
Learning Attack Trees by Genetic Algorithms
Theoretical Aspects of Computing – ICTAC 2023, rok: 2023
2022
-
Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge
Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, rok: 2022
2020
-
Logical vs. behavioural specifications
Information and computation, rok: 2020, ročník: 271, vydání: 104487, DOI
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