Uniform Distributed Synthesis. - Bernd Finkbeiner; Sven Schewe (LICS, 2005)

Selective Approaches for Solving Weak Games. - Malte Helmert; Robert Mattmüller; Sven Schewe (ATVA, 2006)

Synthesis for Probabilistic Environments. - Sven Schewe (ATVA, 2006)

Satisfiability and Finite Model Property for the Alternating-Time mu-Calculus. - Sven Schewe; Bernd Finkbeiner (CSL, 2006)

Automatic Synthesis of Assumptions for Compositional Model Checking. - Bernd Finkbeiner; Sven Schewe; Matthias Brill (FORTE, 2006)

Synthesis of Asynchronous Systems. - Sven Schewe; Bernd Finkbeiner (LOPSTR, 2006)

Distributed Synthesis for Alternating-Time Logics. - Sven Schewe; Bernd Finkbeiner (ATVA, 2007)

Semi-automatic Distributed Synthesis. - Sven Schewe; Bernd Finkbeiner (Int. J. Found. Comput. Sci., 2007)

Synthesis of distributed systems. - Sven Schewe (2008)

An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games. - Sven Schewe (CSL, 2008)

Synthese Verteilter Systeme [Synthesis of Distributed Systems]. - Sven Schewe (Ausgezeichnete Informatikdissertationen, 2008)

ATL* Satisfiability Is 2EXPTIME-Complete. - Sven Schewe (ICALP (2), 2008)

Synthesizing Certificates in Networks of Timed Automata. - Bernd Finkbeiner; Hans-Jörg Peter; Sven Schewe (RTSS, 2008)

RESY: Requirement Synthesis for Compositional Model Checking. - Bernd Finkbeiner; Hans-Jörg Peter; Sven Schewe (TACAS, 2008)

Software Synthesis is Hard - and Simple. - Sven Schewe (Software Synthesis, 2009)

Tighter Bounds for the Determinisation of Büchi Automata. - Sven Schewe (FoSSaCS, 2009)

From Parity and Payoff Games to Linear Programming. - Sven Schewe (MFCS, 2009)

Büchi Complementation Made Tight. - Sven Schewe (STACS, 2009)

Towards the Verification of Pervasive Systems. - Myrto Arapinis; Muffy Calder; Louise A. Dennis; Michael Fisher 001; Philip D. Gray; Savas Konur; Alice Miller 001; Eike Ritter; Mark Ryan 001; Sven Schewe; Chris Unsworth; Rehana Yasmin (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Coordination Logic. - Bernd Finkbeiner; Sven Schewe (CSL, 2010)

Beyond Hyper-Minimisation—Minimising DBAs and DPAs is NP-Complete. - Sven Schewe (FSTTCS, 2010)

Optimal Time-Abstract Schedulers for CTMDPs and Markov Games - Markus N. Rabe; Sven Schewe (QAPL, 2010)

Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata - Sven Schewe (CoRR, 2010)

Efficient Approximation of Optimal Control for Markov Games - Markus N. Rabe; Sven Schewe; Lijun Zhang 001 (CoRR, 2010)

Synthesising certificates in networks of timed automata. - Bernd Finkbeiner; Hans-Jörg Peter; Sven Schewe (IET Softw., 2010)

Synthese Verteilter Systeme (Synthesis of Distributed Systems). - Sven Schewe (it Inf. Technol., 2010)

The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. - Gal Katz; Doron A. Peled; Sven Schewe (ATVA, 2011)

Synthesis of Distributed Control through Knowledge Accumulation. - Gal Katz; Doron A. Peled; Sven Schewe (CAV, 2011)

Synthesising Classic and Interval Temporal Logic. - Sven Schewe; Cong Tian (TIME, 2011)

Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games. - Markus N. Rabe; Sven Schewe (Acta Informatica, 2011)

Practical Distributed Control Synthesis - Doron A. Peled; Sven Schewe (INFINITY, 2011)

Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata. - Sven Schewe; Thomas Varghese (ATVA, 2012)

Bounded Satisfiability for PCTL. - Nathalie Bertrand 001; John Fearnley; Sven Schewe (CSL, 2012)

Playing Optimally on Timed Automata with Random Delays. - Nathalie Bertrand 001; Sven Schewe (FORMATS, 2012)

Time and Parallelizability Results for Parity Games with Bounded Treewidth. - John Fearnley; Sven Schewe (ICALP (2), 2012)

Rapid Recovery for Systems with Scarce Faults - Chung-Hao Huang; Doron A. Peled; Sven Schewe; Farn Wang (GandALF, 2012)

More is Sometimes Less: Succinctness in EL. - Nadeschda Nikitina; Sven Schewe (Description Logics, 2013)

Multiplayer Cost Games with Simple Nash Equilibria. - Thomas Brihaye; Julie De Pril; Sven Schewe (LFCS, 2013)

Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge. - Anca Muscholl; Sven Schewe (MFCS, 2013)

Simplifying Description Logic Ontologies. - Nadeschda Nikitina; Sven Schewe (ISWC (1), 2013)

The benefit of law-making power. - Anshul Gupta; Sven Schewe (CoRR, 2013)

Lazy Determinisation for Quantitative Model Checking. - Ernst Moritz Hahn; Guangyuan Li; Sven Schewe; Lijun Zhang 001 (CoRR, 2013)

Coverage Games for Testing Nondeterministic Systems. - Farn Wang; Jung-Hsuan Wu; Sven Schewe; Chung-Hao Huang (CoRR, 2013)

Time and Space Results for Parity Games with Bounded Treewidth - John Fearnley; Sven Schewe (Log. Methods Comput. Sci., 2013)

Bounded synthesis. - Bernd Finkbeiner; Sven Schewe (Int. J. Softw. Tools Technol. Transf., 2013)

Combined model checking for temporal, probabilistic, and real-time logics. - Savas Konur; Michael Fisher 001; Sven Schewe (Theor. Comput. Sci., 2013)

Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games. - Markus N. Rabe; Sven Schewe (Theor. Comput. Sci., 2013)

Distributed Control Synthesis. - Doron A. Peled; Sven Schewe (HOWARD-60, 2014)

iscasMc: A Web-Based Probabilistic Model Checker. - Ernst Moritz Hahn; Yi Li; Sven Schewe; Andrea Turrini; Lijun Zhang 001 (FM, 2014)

Determinising Parity Automata. - Sven Schewe; Thomas Varghese (MFCS (1), 2014)

Tight Bounds for Complementing Parity Automata. - Sven Schewe; Thomas Varghese (MFCS (1), 2014)

Quantitative Verification in Rational Environments. - Anshul Gupta; Sven Schewe (TIME, 2014)

Editorial: special issue on synthesis. - Doron A. Peled; Sven Schewe (Acta Informatica, 2014)

Distributed synthesis is simply undecidable. - Sven Schewe (Inf. Process. Lett., 2014)

It Pays to Pay in Bi-Matrix Games: a Rational Explanation for Bribery. - Anshul Gupta; Sven Schewe (AAMAS, 2015)

Lazy Probabilistic Model Checking without Determinisation. - Ernst Moritz Hahn; Guangyuan Li; Sven Schewe; Andrea Turrini; Lijun Zhang 001 (CONCUR, 2015)

Knowledge = Observation + Memory + Computation. - Blaise Genest; Doron A. Peled; Sven Schewe (FoSSaCS, 2015)

Bounded-rate multi-mode systems based motion planning. - Devendra Bhave; Sagar Jha; Shankara Narayanan Krishna; Sven Schewe; Ashutosh Trivedi 001 (HSCC, 2015)

Symmetric Strategy Improvement. - Sven Schewe; Ashutosh Trivedi 001; Thomas Varghese (ICALP (2), 2015)

Local and global fairness in concurrent systems. - Alon Brook; Doron A. Peled; Sven Schewe (MEMOCODE, 2015)

Making the Best of Limited Memory in Multi-Player Discounted Sum Games. - Anshul Gupta; Sven Schewe; Dominik Wojtczak (GandALF, 2015)

Synthesis of succinct systems. - John Fearnley; Doron A. Peled; Sven Schewe (J. Comput. Syst. Sci., 2015)

Complexity of node coverage games. - Farn Wang; Sven Schewe; Jung-Hsuan Wu (Theor. Comput. Sci., 2015)

An Extension of ATL with Strategy Interaction. - Farn Wang; Sven Schewe; Chung-Hao Huang (ACM Trans. Program. Lang. Syst., 2015)

A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. - Ernst Moritz Hahn; Sven Schewe; Andrea Turrini; Lijun Zhang 001 (CAV (2), 2016)

Incentive Stackelberg Mean-Payoff Games. - Anshul Gupta; Sven Schewe; Ashutosh Trivedi 001; Sai Krishna Deepak Maram; Bharath Kumar Padarthi (SEFM, 2016)

Program Generation Using Simulated Annealing and Model Checking. - Idress Husien; Sven Schewe (SEFM, 2016)

Complementing Semi-deterministic Büchi Automata. - Frantisek Blahoudek; Matthias Heizmann; Sven Schewe; Jan Strejcek; Ming-Hsien Tsai 001 (TACAS, 2016)

Optimal Control for Simple Linear Hybrid Systems. - Mahmoud A. A. Mousa; Sven Schewe; Dominik Wojtczak (TIME, 2016)

Efficient approximation of optimal control for continuous-time Markov games. - John Fearnley; Markus N. Rabe; Sven Schewe; Lijun Zhang 001 (Inf. Comput., 2016)

Controlling loosely cooperating processes. - Anca Muscholl; Sven Schewe (Theor. Comput. Sci., 2016)

A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors. - Chung-Hao Huang; Doron A. Peled; Sven Schewe; Farn Wang (IEEE Trans. Software Eng., 2016)

Perpetually Dominating Large Grids. - Ioannis Lamprou 001; Russell Martin; Sven Schewe (CIAC, 2017)

Optimal Control for Multi-mode Systems with Discrete Costs. - Mahmoud A. A. Mousa; Sven Schewe; Dominik Wojtczak (FORMATS, 2017)

MDPs with energy-parity objectives. - Richard Mayr; Sven Schewe; Patrick Totzke; Dominik Wojtczak (LICS, 2017)

PranCS: A Protocol and Discrete Controller Synthesis Tool. - Idress Husien; Sven Schewe; Nicolas Berthier (SETTA, 2017)

An ordered approach to solving parity games in quasi polynomial time and quasi linear space. - John Fearnley; Sanjay Jain 001; Sven Schewe; Frank Stephan 001; Dominik Wojtczak (SPIN, 2017)

A hot method for synthesising cool controllers. - Idress Husien; Nicolas Berthier; Sven Schewe (SPIN, 2017)

Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. - Ernst Moritz Hahn; Sven Schewe; Andrea Turrini; Lijun Zhang 001 (VMCAI, 2017)

Model-checking iterated games. - Chung-Hao Huang; Sven Schewe; Farn Wang (Acta Informatica, 2017)

CTL* synthesis via LTL synthesis. - Roderick Bloem; Sven Schewe; Ayrat Khalimov 001 (SYNT@CAV, 2017)

Solving parity games in big steps. - Sven Schewe (J. Comput. Syst. Sci., 2017)

Accelerated Model Checking of Parametric Markov Chains. - Paul Gainer; Ernst Moritz Hahn; Sven Schewe (ATVA, 2018)

Incremental Verification of Parametric and Reconfigurable Markov Chains. - Paul Gainer; Ernst Moritz Hahn; Sven Schewe (QEST, 2018)

Learning to Complement Büchi Automata. - Yong Li 031; Andrea Turrini; Lijun Zhang 001; Sven Schewe (VMCAI, 2018)

Buying Optimal Payoffs in Bi-Matrix Games. - Anshul Gupta; Sven Schewe (Games, 2018)

Limit reachability for model-free reinforcement learning of ω-regular objectives. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (SNR, 2019)

Omega-Regular Objectives in Model-Free Reinforcement Learning. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (TACAS (1), 2019)

Improving the complexity of Parys' recursive algorithm. - Karoliina Lehtinen; Sven Schewe; Dominik Wojtczak (CoRR, 2019)

Good-for-MDPs Automata. - Ernst Moritz Hahn; Mateo Perez; Fabio Somenzi; Ashutosh Trivedi 001; Sven Schewe; Dominik Wojtczak (CoRR, 2019)

Parity Games with Weights. - Sven Schewe; Alexander Weinert; Martin Zimmermann 002 (Log. Methods Comput. Sci., 2019)

An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space. - John Fearnley; Sanjay Jain 001; Bart de Keijzer; Sven Schewe; Frank Stephan 001; Dominik Wojtczak (Int. J. Softw. Tools Technol. Transf., 2019)

Eternally dominating large grids. - Ioannis Lamprou 001; Russell Martin; Sven Schewe (Theor. Comput. Sci., 2019)

Special issue on Temporal Representation and Reasoning (TIME 2017). - Sven Schewe; Thomas Schneider 002; Jef Wijsen (Theor. Comput. Sci., 2019)

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 001; Dominik Wojtczak (ATVA, 2020)

Model-Free Reinforcement Learning for Stochastic Parity Games. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (CONCUR, 2020)

Minimising Good-For-Games Automata Is NP-Complete. - Sven Schewe (FSTTCS, 2020)

How does Weight Correlation Affect Generalisation Ability of Deep Neural Networks? - Gaojie Jin; Xinping Yi; Liang Zhang; Lijun Zhang 001; Sven Schewe; Xiaowei Huang 001 (NeurIPS, 2020)

Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (TACAS (1), 2020)

Reward Shaping for Reinforcement Learning with Omega-Regular Objectives. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (CoRR, 2020)

Fast two-robot disk evacuation with wireless communication. - Ioannis Lamprou 001; Russell Martin; Sven Schewe (Theor. Comput. Sci., 2020)

ω-Automata. - Thomas Wilke; Sven Schewe (Handbook of Automata Theory (I.), 2021)

Model-Free Reinforcement Learning for Branching Markov Decision Processes. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (CAV (2), 2021)

Detecting Operational Adversarial Examples for Reliable Deep Learning. - Xingyu Zhao 001; Wei Huang 035; Sven Schewe; Yi Dong 002; Xiaowei Huang 001 (DSN (Supplements), 2021)

Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (FM, 2021)

Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. - Richard Mayr; Sven Schewe; Patrick Totzke; Dominik Wojtczak (FoSSaCS, 2021)

Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. - Xingyu Zhao 001; Wei Huang 035; Alec Banks; Victoria Cox; David Flynn; Sven Schewe; Xiaowei Huang 001 (AISafety@IJCAI, 2021)

Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features. - Nicolas Berthier; Amany Alshareef; James Sharp; Sven Schewe; Xiaowei Huang 001 (CoRR, 2021)

Mungojerrie: Reinforcement Learning of Linear-Time Objectives. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (CoRR, 2021)

Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems. - Xingyu Zhao 001; Wei Huang 035; Vibhav Bharti; Yi Dong 002; Victoria Cox; Alec Banks; Sen Wang 002; Sven Schewe; Xiaowei Huang 001 (CoRR, 2021)

Editorial - Special issue on Concurrency Theory (CONCUR 2018). - Sven Schewe; Lijun Zhang 001 (J. Comput. Syst. Sci., 2021)

Maximum rooted connected expansion. - Ioannis Lamprou 001; Russell Martin; Sven Schewe; Ioannis Sigalas; Vassilis Zissimopoulos (Theor. Comput. Sci., 2021)

Model-free Reinforcement Learning for Branching Markov Decision Processes (Artifact Evaluation for CAV 2021). - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (Zenodo, 2021)

Quantifying the Importance of Latent Features in Neural Networks. - Amany Alshareef; Nicolas Berthier; Sven Schewe; Xiaowei Huang 001 (SafeAI@AAAI, 2022)

An Impossibility Result in Automata-Theoretic Reinforcement Learning. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (ATVA, 2022)

Alternating Good-for-MDPs Automata. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (ATVA, 2022)

Enhancing Adversarial Training with Second-Order Statistics of Weights. - Gaojie Jin; Xinping Yi; Wei Huang 035; Sven Schewe; Xiaowei Huang 001 (CVPR, 2022)

Reinforcement Learning with Guarantees that Hold for Ever. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (FMICS, 2022)

Natural Colors of Infinite Words. - Rüdiger Ehlers; Sven Schewe (FSTTCS, 2022)

SMPG: Secure Multi Party Computation on Graph Databases. - Nouf Al-Juaid; Alexei Lisitsa 001; Sven Schewe (ICISSP, 2022)

Hidden 1-Counter Markov Models and How to Learn Them. - Mehmet Kurucan; Mete Özbaltan; Sven Schewe; Dominik Wojtczak (IJCAI, 2022)

Recursive Reinforcement Learning. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (NeurIPS, 2022)

History-Deterministic Timed Automata Are Not Determinizable. - Sougata Bose; Thomas A. Henzinger; Karoliina Lehtinen; Sven Schewe; Patrick Totzke (RP, 2022)

EPMC Gets Knowledge in Multi-agent Systems. - Chen Fu; Ernst Moritz Hahn; Yong Li 031; Sven Schewe; Meng Sun 002; Andrea Turrini; Lijun Zhang 001 (VMCAI, 2022)

Alternating Good-for-MDP Automata. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (CoRR, 2022)

Smaller progress measures and separating automata for parity games. - Daniele Dell'Erba; Sven Schewe (Frontiers Comput. Sci., 2022)

A Recursive Approach to Solving Parity Games in Quasipolynomial Time. - Karoliina Lehtinen; Pawel Parys; Sven Schewe; Dominik Wojtczak (Log. Methods Comput. Sci., 2022)

Weight Expansion: A New Perspective on Dropout and Generalization. - Gaojie Jin; Xinping Yi; Pengfei Yang 002; Lijun Zhang 001; Sven Schewe; Xiaowei Huang 001 (Trans. Mach. Learn. Res., 2022)

Weight-based Semantic Testing Approach for Deep Neural Networks. - Amany Alshareef; Nicolas Berthier; Sven Schewe; Xiaowei Huang 001 (AISafety/SafeRL@IJCAI, 2023)

A Novel Family of Finite Automata for Recognizing and Learning ømega-Regular Languages. - Yong Li 031; Sven Schewe; Qiyi Tang 001 (ATVA (1), 2023)

Deciding What Is Good-For-MDPs. - Sven Schewe; Qiyi Tang 001; Tansholpan Zhanabekova (CONCUR, 2023)

Omega-Regular Reward Machines. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (ECAI, 2023)

Secure Joint Querying Over Federated Graph Databases Utilising SMPC Protocols. - Nouf Al-Juaid; Alexei Lisitsa 001; Sven Schewe (ICISSP, 2023)

Robust Bayesian Abstraction of Neural Networks. - Amany Alshareef; Nicolas Berthier; Sven Schewe; Xiaowei Huang 001 (ICMLC, 2023)

Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (TACAS (1), 2023)

A novel family of finite automata for recognizing and learning ω-regular languages. - Yong Li 031; Sven Schewe; Qiyi Tang 001 (CoRR, 2023)

On the Succinctness of Good-for-MDPs Automata. - Sven Schewe; Qiyi Tang 001 (CoRR, 2023)

An Objective Improvement Approach to Solving Discounted Payoff Games. - Daniele Dell'Erba; Arthur Dumas; Sven Schewe (GandALF, 2023)

Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance. - Yi Dong 002; Wei Huang 035; Vibhav Bharti; Victoria Cox; Alec Banks; Sen Wang 002; Xingyu Zhao 001; Sven Schewe; Xiaowei Huang 001 (ACM Trans. Embed. Comput. Syst., 2023)

Multi-objective ω-Regular Reinforcement Learning. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (Formal Aspects Comput., 2023)

Omega-Regular Decision Processes. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (AAAI, 2024)

Efficient and Secure Multiparty Querying over Federated Graph Databases. - Nouf Al-Juaid; Alexei Lisitsa 001; Sven Schewe (DATA, 2024)

Multi-Agent Reinforcement Learning for Alternating-Time Logic. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (ECAI, 2024)

DFAMiner: Mining Minimal Separating DFAs from Labelled Samples. - Daniele Dell'Erba; Yong Li 031; Sven Schewe (FM (2), 2024)

Analytically Determining the Robustness of Binarized Neural Networks. - Sahar M. Alzahrani; Sven Schewe; Chao Huang; Xiaowei Huang 001 (ICMLA, 2024)

Natural Adversarial Attacks. - Michael J. Hughes; Sven Schewe (ICMLA, 2024)

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 (ICMLA, 2024)

Hierarchical Supervised Monte Carlo Ensemble Learning. - Ziauddin Ursani; Dmytro Antypov; Katie Atkinson; Judith Clymo; Matthew S. Dyer; Matthew J. Rosseinsky; Sven Schewe; Andrij Vasylenko (ICMLA, 2024)

Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata. - Yong Li 031; Sven Schewe; Qiyi Tang 001 (IJCAI, 2024)

Secure Multi-Party Traversal Queries over Federated Graph Databases. - Nouf Al-Juaid; Alexei Lisitsa 001; Sven Schewe (SECRYPT, 2024)

History-deterministic Timed Automata. - Sougata Bose; Thomas A. Henzinger; Karoliina Lehtinen; Sven Schewe; Patrick Totzke (Log. Methods Comput. Sci., 2024)

Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata. - Yong Li 031; Sven Schewe; Moshe Y. Vardi (Theor. Comput. Sci., 2024)

Semantic flowers for good-for-games and deterministic automata. - Daniele Dell'Erba; Sven Schewe; Qiyi Tang 001; Tansholpan Zhanabekova (Inf. Process. Lett., 2024)

Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata. - Yong Li 031; Soumyajit Paul; Sven Schewe; Qiyi Tang 001 (CAV (2), 2025)

Resolving Nondeterminism by Chance. - Soumyajit Paul; David Purser; Sven Schewe; Qiyi Tang 001; Patrick Totzke; Di-De Yen (CONCUR, 2025)

Saturation Problems for Families of Automata. - León Bohn; Yong Li 031; Christof Löding; Sven Schewe (ICALP, 2025)

Priority Promotion with Parysian flair. - Massimo Benerecetti; Daniele Dell'Erba; Fabio Mogavero; Sven Schewe; Dominik Wojtczak (J. Comput. Syst. Sci., 2025)

Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives. - Giuseppe De Giacomo; Yong Li 031; Sven Schewe; Christoph Weinhuber; Pian Yu (CoRR, 2025)

Efficient Learning of Weak Deterministic Büchi Automata. - Mona Alluwayma; Yong Li 031; Sven Schewe; Qiyi Tang 001 (CoRR, 2025)