| Publication | Date of Publication | Type |
|---|
| Policy synthesis and reinforcement learning for discounted LTL | 2024-02-01 | Paper |
Omega-Regular Objectives in Model-Free Reinforcement Learning
Tools and Algorithms for the Construction and Analysis of Systems | 2023-11-24 | Paper |
An impossibility result in automata-theoretic reinforcement learning
Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
Alternating good-for-MDPs automata
Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
Alternating good-for-MDPs automata
Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
| Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives | 2023-04-21 | Paper |
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives
1517.68331 | 2022-12-22 | Paper |
Good-for-MDPs automata for probabilistic analysis and reinforcement learning
Tools and Algorithms for the Construction and Analysis of Systems | 2022-10-13 | Paper |
The Reach-Avoid Problem for Constant-Rate Multi-mode Systems
Automated Technology for Verification and Analysis | 2022-08-12 | Paper |
| Model-Free Reinforcement Learning for Stochastic Parity Games | 2022-07-18 | Paper |
Model-free reinforcement learning for branching Markov decision processes
(available as arXiv preprint) | 2022-03-25 | Paper |
Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
Statistically sound verification and optimization for complex systems
Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
| Termination criteria for bounded model checking: extensions and comparison | 2013-09-26 | Paper |
| An incremental algorithm to check satisfiability for bounded model checking | 2013-09-20 | Paper |
| A satisfiability-based approach to abstraction refinement in model checking | 2013-08-30 | Paper |
On complementing nondeterministic Büchi automata
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Efficient Term-ITE Conversion for Satisfiability Modulo Theories
Lecture Notes in Computer Science | 2009-07-07 | Paper |
A Hybrid Algorithm for LTL Games
Lecture Notes in Computer Science | 2008-04-04 | Paper |
| Disequality management in integer difference logic via finite instantiations. | 2007-10-09 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Formal Methods in Computer-Aided Design
Lecture Notes in Computer Science | 2006-10-20 | Paper |
An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps
Formal Methods in System Design | 2006-09-28 | Paper |
Compositional SCC analysis for language emptiness
Formal Methods in System Design | 2006-09-28 | Paper |
| scientific article; zbMATH DE number 5032602 (Why is no real title available?) | 2006-06-15 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-16 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 2102708 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2080057 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2080066 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1979545 (Why is no real title available?) | 2003-09-14 | Paper |
| scientific article; zbMATH DE number 1903373 (Why is no real title available?) | 2003-05-01 | Paper |
| scientific article; zbMATH DE number 1903384 (Why is no real title available?) | 2003-05-01 | Paper |
| scientific article; zbMATH DE number 1863179 (Why is no real title available?) | 2003-02-03 | Paper |
Efficient manipulation of decision diagrams
International Journal on Software Tools for Technology Transfer. STTT | 2002-07-25 | Paper |
| scientific article; zbMATH DE number 1670781 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1390338 (Why is no real title available?) | 2000-11-13 | Paper |
| scientific article; zbMATH DE number 918600 (Why is no real title available?) | 1996-08-21 | Paper |
| scientific article; zbMATH DE number 177271 (Why is no real title available?) | 1993-05-18 | Paper |
