| 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 | 2023-11-24 | Paper |
| An impossibility result in automata-theoretic reinforcement learning | 2023-06-02 | Paper |
| Alternating good-for-MDPs automata | 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 | 2022-12-22 | Paper |
| Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning | 2022-10-13 | Paper |
| The Reach-Avoid Problem for Constant-Rate Multi-mode Systems | 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 | 2022-03-25 | Paper |
| Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems | 2018-12-06 | Paper |
| Statistically Sound Verification and Optimization for Complex Systems | 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 |
| Correct Hardware Design and Verification Methods | 2010-02-05 | Paper |
| Efficient Term-ITE Conversion for Satisfiability Modulo Theories | 2009-07-07 | Paper |
| A Hybrid Algorithm for LTL Games | 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 | 2007-09-28 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Formal Methods in Computer-Aided Design | 2006-10-20 | Paper |
| An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps | 2006-09-28 | Paper |
| Compositional SCC analysis for language emptiness | 2006-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5472089 | 2006-06-15 | Paper |
| Theory and Applications of Satisfiability Testing | 2005-12-16 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817546 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472250 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472259 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4427897 | 2003-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804918 | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804928 | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791850 | 2003-02-03 | Paper |
| Efficient manipulation of decision diagrams | 2002-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754087 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934627 | 2000-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4888830 | 1996-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037133 | 1993-05-18 | Paper |
