prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
Professor, Department of Computer Science
Office: C514
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4085 |
---|
social and academic networks: |
---|
Total number of publications: 63
2023
-
Algebraically explainable controllers: decision trees and support vector machines join forces
International Journal on Software Tools for Technology Transfer, year: 2023, volume: 25, edition: 3, DOI
-
Guessing Winning Policies in LTL Synthesis by Semantic Learning
Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings, Part I, year: 2023
-
Learning Attack Trees by Genetic Algorithms
Theoretical Aspects of Computing – ICTAC 2023, year: 2023
-
Model Checking for Proving and Improving Fault Tolerance of Satellites
2023 IEEE AEROSPACE CONFERENCE, year: 2023
-
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks
FORMAL METHODS, FM 2023, year: 2023
-
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives
2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, year: 2023
-
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks
Automated Technology for Verification and Analysis. ATVA 2023, year: 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, year: 2022
2020
-
Logical vs. behavioural specifications
Information and computation, year: 2020, volume: 271, edition: 104487, DOI
2019
-
Of Cores: A Partial-Exploration Framework for Markov Decision Processes
30th International Conference on Concurrency Theory (CONCUR 2019), year: 2019