| 2026 | AAAI | Good-for-MDP State Reduction for Stochastic LTL Planning. | Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang |
| 2026 | CONCUR | Asymmetrically Discounted Stochastic Games. | Sarvin Bahmani, Soumyajit Paul, Sven Schewe, Shadi Tasdighi Kalat, Ashutosh Trivedi |
| 2026 | CONCUR | Word Automata with Limited Nondeterminism (Invited Talk). | Yong Li, Soumyajit Paul, Sven Schewe, Qiyi Tang |
| 2026 | FOSSACS | The Complexity of Games with Randomised Control. | Sarvin Bahmani, Rasmus Ibsen-Jensen, Soumyajit Paul, Sven Schewe, Friedrich Slivovsky, Qiyi Tang, Dominik Wojtczak, Shufang Zhu |
| 2026 | ICAART | Formal Analysis of Hopfield Networks through 0-1 Integer Linear Programming and SMT Solving. | Sahar M. Alzahrani, Sven Schewe, Xiaowei Huang |
| 2026 | ICAART | Efficient Repair of Binarized Neural Networks Using Binary Activation Lookup Tables. | Sahar M. Alzahrani, Sven Schewe, Xiaowei Huang |
| 2026 | MFCS | Simple Nash Equilibria for Qualitative Multiplayer Games. | Mona Alluwaym, James C. A. Main, Sven Schewe |
| 2025 | CAV | Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata. | Yong Li, Soumyajit Paul, Sven Schewe, Qiyi Tang |
| 2025 | CONCUR | Resolving Nondeterminism by Chance. | Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen |
| 2025 | ECAI | Efficient Learning of Weak Deterministic Bchi Automata. | Mona Alluwaym, Yong Li, Sven Schewe, Qiyi Tang |
| 2025 | ICALP | Saturation Problems for Families of Automata. | Len Bohn, Yong Li, Christof Lding, Sven Schewe |
| 2025 | IJCAI | Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives. | Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, Pian Yu |
| 2024 | AAAI | Omega-Regular Decision Processes. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2024 | DATA | Efficient and Secure Multiparty Querying over Federated Graph Databases. | Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe |
| 2024 | ECAI | Multi-Agent Reinforcement Learning for Alternating-Time Logic. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2024 | FM | DFAMiner: Mining Minimal Separating DFAs from Labelled Samples. | Daniele Dell'Erba, Yong Li, Sven Schewe |
| 2024 | ICMLA | Analytically Determining the Robustness of Binarized Neural Networks. | Sahar M. Alzahrani, Sven Schewe, Chao Huang, Xiaowei Huang |
| 2024 | ICMLA | Natural Adversarial Attacks. | Michael J. Hughes, Sven Schewe |
| 2024 | ICMLA | The Theory of Probabilistic Hierarchical Supervised Ensemble Learning. | Ziauddin Ursani, Dmytro Antypov, Katie Atkinson, Judith Clymo, Matthew S. Dyer, Matthew J. Rosseinsky, Sven Schewe, Andrij Vasylenko |
| 2024 | ICMLA | Hierarchical Supervised Monte Carlo Ensemble Learning. | Ziauddin Ursani, Dmytro Antypov, Katie Atkinson, Judith Clymo, Matthew S. Dyer, Matthew J. Rosseinsky, Sven Schewe, Andrij Vasylenko |
| 2024 | IJCAI | Angluin-Style Learning of Deterministic Bchi and Co-Bchi Automata. | Yong Li, Sven Schewe, Qiyi Tang |
| 2024 | SECRYPT | Secure Multi-Party Traversal Queries over Federated Graph Databases. | Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe |
| 2023 | ATVA | A Novel Family of Finite Automata for Recognizing and Learning mega-Regular Languages. | Yong Li, Sven Schewe, Qiyi Tang |
| 2023 | CONCUR | Singly Exponential Translation of Alternating Weak Bchi Automata to Unambiguous Bchi Automata. | Yong Li, Sven Schewe, Moshe Y. Vardi |
| 2023 | CONCUR | Deciding What Is Good-For-MDPs. | Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova |
| 2023 | ECAI | Omega-Regular Reward Machines. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2023 | ICISSP | Secure Joint Querying Over Federated Graph Databases Utilising SMPC Protocols. | Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe |
| 2023 | ICMLC | Robust Bayesian Abstraction of Neural Networks. | Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang |
| 2023 | TACAS | Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | AAAI | Quantifying the Importance of Latent Features in Neural Networks. | Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang |
| 2022 | ATVA | An Impossibility Result in Automata-Theoretic Reinforcement Learning. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | ATVA | Alternating Good-for-MDPs Automata. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | CVPR | Enhancing Adversarial Training with Second-Order Statistics of Weights. | Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, Xiaowei Huang |
| 2022 | FMICS | Reinforcement Learning with Guarantees that Hold for Ever. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | ICISSP | SMPG: Secure Multi Party Computation on Graph Databases. | Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe |
| 2022 | IJCAI | Hidden 1-Counter Markov Models and How to Learn Them. | Mehmet Kurucan, Mete zbaltan, Sven Schewe, Dominik Wojtczak |
| 2022 | VMCAI | EPMC Gets Knowledge in Multi-agent Systems. | Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang |
| 2021 | CAV | Model-Free Reinforcement Learning for Branching Markov Decision Processes. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2021 | DSN | Detecting Operational Adversarial Examples for Reliable Deep Learning. | Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang |
| 2021 | FM | Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2021 | FOSSACS | Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. | Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak |
| 2021 | IJCAI | Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. | Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang |
| 2020 | ATVA | Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2020 | CONCUR | Model-Free Reinforcement Learning for Stochastic Parity Games. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2020 | TACAS | Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2019 | TACAS | Omega-Regular Objectives in Model-Free Reinforcement Learning. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2018 | ATVA | Accelerated Model Checking of Parametric Markov Chains. | Paul Gainer, Ernst Moritz Hahn, Sven Schewe |
| 2018 | CSL | Parity Games with Weights. | Sven Schewe, Alexander Weinert, Martin Zimmermann |
| 2018 | MFCS | Maximum Rooted Connected Expansion. | Ioannis Lamprou, Russell Martin, Sven Schewe, Ioannis Sigalas, Vassilis Zissimopoulos |
| 2018 | VMCAI | Learning to Complement Bchi Automata. | Yong Li, Andrea Turrini, Lijun Zhang, Sven Schewe |
| 2017 | CIAC | Perpetually Dominating Large Grids. | Ioannis Lamprou, Russell Martin, Sven Schewe |
| 2017 | LICS | MDPs with energy-parity objectives. | Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak |
| 2017 | SETTA | PranCS: A Protocol and Discrete Controller Synthesis Tool. | Idress Husien, Sven Schewe, Nicolas Berthier |
| 2017 | VMCAI | Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. | Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2016 | CAV | A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. | Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2016 | SEFM | Incentive Stackelberg Mean-Payoff Games. | Anshul Gupta, Sven Schewe, Ashutosh Trivedi, Sai Krishna Deepak Maram, Bharath Kumar Padarthi |
| 2016 | SEFM | Program Generation Using Simulated Annealing and Model Checking. | Idress Husien, Sven Schewe |
| 2016 | TACAS | Complementing Semi-deterministic Bchi Automata. | Frantisek Blahoudek, Matthias Heizmann, Sven Schewe, Jan Strejcek, Ming-Hsien Tsai |
| 2016 | TIME | Optimal Control for Simple Linear Hybrid Systems. | Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak |
| 2015 | CONCUR | Lazy Probabilistic Model Checking without Determinisation. | Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2015 | FOSSACS | Knowledge = Observation + Memory + Computation. | Blaise Genest, Doron A. Peled, Sven Schewe |
| 2015 | ICALP | Symmetric Strategy Improvement. | Sven Schewe, Ashutosh Trivedi, Thomas Varghese |
| 2015 | MEMOCODE | Local and global fairness in concurrent systems. | Alon Brook, Doron A. Peled, Sven Schewe |
| 2014 | FM | iscasMc: A Web-Based Probabilistic Model Checker. | Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2014 | MFCS | Determinising Parity Automata. | Sven Schewe, Thomas Varghese |
| 2014 | MFCS | Tight Bounds for Complementing Parity Automata. | Sven Schewe, Thomas Varghese |
| 2014 | TIME | Quantitative Verification in Rational Environments. | Anshul Gupta, Sven Schewe |
| 2013 | LFCS | Multiplayer Cost Games with Simple Nash Equilibria. | Thomas Brihaye, Julie De Pril, Sven Schewe |
| 2013 | MFCS | Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge. | Anca Muscholl, Sven Schewe |
| 2013 | TACAS | Model-Checking Iterated Games. | Chung-Hao Huang, Sven Schewe, Farn Wang |
| 2012 | ATVA | Synthesis of Succinct Systems. | John Fearnley, Doron A. Peled, Sven Schewe |
| 2012 | ATVA | Tight Bounds for the Determinisation and Complementation of Generalised Bchi Automata. | Sven Schewe, Thomas Varghese |
| 2012 | CSL | Bounded Satisfiability for PCTL. | Nathalie Bertrand, John Fearnley, Sven Schewe |
| 2012 | ICALP | Time and Parallelizability Results for Parity Games with Bounded Treewidth. | John Fearnley, Sven Schewe |
| 2011 | ATVA | The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. | Gal Katz, Doron A. Peled, Sven Schewe |
| 2011 | CAV | Synthesis of Distributed Control through Knowledge Accumulation. | Gal Katz, Doron A. Peled, Sven Schewe |
| 2011 | TIME | Synthesising Classic and Interval Temporal Logic. | Sven Schewe, Cong Tian |
| 2010 | CSL | Coordination Logic. | Bernd Finkbeiner, Sven Schewe |
| 2009 | FOSSACS | Tighter Bounds for the Determinisation of Bchi Automata. | Sven Schewe |
| 2009 | MFCS | From Parity and Payoff Games to Linear Programming. | Sven Schewe |
| 2009 | STACS | Bchi Complementation Made Tight. | Sven Schewe |
| 2008 | CSL | An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games. | Sven Schewe |
| 2008 | ICALP | ATL* Satisfiability Is 2EXPTIME-Complete. | Sven Schewe |
| 2008 | RTSS | Synthesizing Certificates in Networks of Timed Automata. | Bernd Finkbeiner, Hans-Jrg Peter, Sven Schewe |
| 2008 | TACAS | RESY: Requirement Synthesis for Compositional Model Checking. | Bernd Finkbeiner, Hans-Jrg Peter, Sven Schewe |
| 2007 | ATVA | Distributed Synthesis for Alternating-Time Logics. | Sven Schewe, Bernd Finkbeiner |
| 2007 | ATVA | Bounded Synthesis. | Sven Schewe, Bernd Finkbeiner |
| 2006 | ATVA | Selective Approaches for Solving Weak Games. | Malte Helmert, Robert Mattmller, Sven Schewe |
| 2006 | ATVA | Synthesis for Probabilistic Environments. | Sven Schewe |
| 2006 | CSL | Satisfiability and Finite Model Property for the Alternating-Time | Sven Schewe, Bernd Finkbeiner |
| 2006 | FORTE | Automatic Synthesis of Assumptions for Compositional Model Checking. | Bernd Finkbeiner, Sven Schewe, Matthias Brill |
| 2006 | LOPSTR | Synthesis of Asynchronous Systems. | Sven Schewe, Bernd Finkbeiner |
| 2005 | ATVA | Semi-automatic Distributed Synthesis. | Bernd Finkbeiner, Sven Schewe |
| 2005 | LICS | Uniform Distributed Synthesis. | Bernd Finkbeiner, Sven Schewe |