![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
2015
-
Polynomial Time Decidability of Weighted Synchronization under Partial Observability
26th International Conference on Concurrency Theory (CONCUR 2015), rok: 2015
-
Refinement checking on parametric modal transition systems
Acta Informatica, rok: 2015, ročník: 52, vydání: 2-3, DOI
-
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games
Proceedings of ACM international conference on Hybrid Systems: Computation and Control, rok: 2015
-
The Hanoi Omega-Automata Format
Computer Aided Verification: 27th International Conference, CAV 2015, rok: 2015
-
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), rok: 2015
2014
-
From LTL to Deterministic Automata: A Safraless Compositional Approach
Computer Aided Verification - 26th International Conference, CAV 2014, rok: 2014
-
Probabilistic Bisimulation: Naturally on Distributions
CONCUR 2014 - Concurrency Theory - 25th International Conference, rok: 2014
-
Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, rok: 2014
-
Verification of Markov Decision Processes using Learning Algorithms
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, rok: 2014
2013
-
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis
Computer Aided Verification - 25th International Conference, CAV 2013, rok: 2013