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
2016
-
From LTL to deterministic automata (A safraless compositional approach)
Formal Methods in System Design, rok: 2016, ročník: 49, vydání: 3, DOI
-
Limit-Deterministic Büchi Automata for Linear Temporal Logic
Computer Aided Verification - 28th International Conference, CAV 2016, rok: 2016
-
Linear Distances between Markov Chains
27th International Conference on Concurrency Theory, CONCUR 2016, rok: 2016
-
MoChiBA: Probabilistic {LTL} Model Checking Using Limit-Deterministic Büchi Automata
Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, rok: 2016
-
Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, rok: 2016
2015
-
Complete Composition Operators for IOCO-Testing Theory
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, rok: 2015
-
Compositionality for Quantitative Specifications
The 11th International Symposium on Formal Aspects of Component Software - FACS 2014, rok: 2015
-
Controller Synthesis for MDPs and Frequency LTL\GU
LPAR 2015, rok: 2015
-
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
Computer Aided Verification: 27th International Conference, CAV 2015, rok: 2015
-
Polynomial Time Decidability of Weighted Synchronization under Partial Observability
26th International Conference on Concurrency Theory (CONCUR 2015), rok: 2015