Jan Křetínský
- A Unified Translation of Linear Temporal Logic to ω-Automata
2020/10/17 by Javier Esparza, Jan Křetínský, Salomon Sickert · 4 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory
- Counterexample Explanation by Learning Small Strategies in Markov\n Decision Processes
2015/02/10 by Tomǎš Brázdil, Brázdil, Tomáš, Krishnendu Chatterjee +7 · 2 citations
Computer Science · #Advanced Software Engineering Methodologies #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Engineering Research
- Conditional Value-at-Risk for Reachability and Mean Payoff in Markov\n Decision Processes
2018/05/08 by Jan Křetínský, Křetínský, Jan, Tobias Meggendorfer +1 · 2 citations
Computer Science · #Advanced Software Engineering Methodologies #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)
- From LTL to Deterministic Automata: A Safraless Compositional Approach
2014/02/14 by Javier Esparza, Esparza, Javier, Jan Křetínský +1 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms #semigroups and automata theory
- Optimistic and Topological Value Iteration for Simple Stochastic Games
2022/07/29 by Muqsit Azeem, Alexandros Evangelidis, Azeem, Muqsit +7 · 3 citations
Decision Sciences · Economics, Econometrics and Finance · #Computer Science and Game Theory (cs.GT) #Decision-Making and Behavioral Economics #Economic theories and models #FOS: Computer and information sciences #Game Theory and Applications
- Faster Statistical Model Checking for Unbounded Temporal Properties
2015/04/22 by Przemysław Daca, Daca, Przemysław, Thomas A. Henzinger +5 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research
- Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
2022/01/24 by Luca Bortolussi, Bortolussi, Luca, G. Gallo +5 · 2 citations
Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Algorithms
- Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives
2023/04/19 by Jan Křetínský, Křetínský, Jan, Tobias Meggendorfer +3 · 2 citations
Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Decision-Making and Behavioral Economics #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering
- SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
2025/01/29 by Jan Křetínský, Kretinsky, Jan, Tobias Meggendorfer +5 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Model-Driven Software Engineering Techniques #Network Packet Processing and Optimization #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
- Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces
2022/08/26 by Florian Jüngermann, Jan Křetínský, Jüngermann, Florian +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Statistical and Computational Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
- MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints
2023/05/26 by Severin Bals, Bals, Severin, Alexandros Evangelidis +5 · 1 citation
Computer Science · Engineering · #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Modeling and Simulation Systems
- stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
2024/05/23 by Gaia Saveri, Saveri, Gaia, Laura Nenzi +5 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Natural Language Processing Techniques #Semantic Web and Ontologies
- dtControl2+ε: Trading Optimality for Explainability in MDPs via Decision Trees
2026/07/28 by Tereza Kinská, Jan Křetínský, Tobias Meggendorfer +2
#cs.AI