Sven Schewe - RankMe

229 papers A* 12A 10B 37C 18Misc 3Journal 101Unranked 43

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	An Objective Improvement Approach to Solving Discounted Payoff Games. Log. Methods Comput. Sci. Daniele Dell'Erba, Arthur Dumas, Sven Schewe
2026	—	`conf`	Efficient Repair of Binarized Neural Networks Using Binary Activation Lookup Tables. ICAART (3) Sahar M. Alzahrani, Sven Schewe, Xiaowei Huang
2026	—	`conf`	Formal Analysis of Hopfield Networks through 0-1 Integer Linear Programming and SMT Solving. ICAART (2) Sahar M. Alzahrani, Sven Schewe, Xiaowei Huang
2026	A*	`conf`	Good-for-MDP State Reduction for Stochastic LTL Planning. AAAI Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang
2026	J	`jnl`	S2O: Enhancing Adversarial Training with Second-Order Statistics of Weights. CoRR Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, Xiaowei Huang
2026	B	`conf`	The Complexity of Games with Randomised Control. FoSSaCS Sarvin Bahmani, Rasmus Ibsen-Jensen, Soumyajit Paul, Sven Schewe, Friedrich Slivovsky, Qiyi Tang, Dominik Wojtczak, Shufang Zhu
2026	J	`jnl`	The Complexity of Games with Randomised Control. CoRR Sarvin Bahmani, Rasmus Ibsen-Jensen, Soumyajit Paul, Sven Schewe, Friedrich Slivovsky, Qiyi Tang, Dominik Wojtczak, Shufang Zhu
2025	—	`conf`	Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata. CAV (2) Yong Li, Soumyajit Paul, Sven Schewe, Qiyi Tang
2025	A	`conf`	Efficient Learning of Weak Deterministic Büchi Automata. ECAI Mona Alluwaym, Yong Li, Sven Schewe, Qiyi Tang
2025	J	`jnl`	Efficient Learning of Weak Deterministic Büchi Automata. CoRR Mona Alluwaym, Yong Li, Sven Schewe, Qiyi Tang
2025	C	`conf`	Evolutionary Train-Test Split for Hierarchical Monte Carlo Ensemble. BDCAT Ziauddin Ursani, Dmytro Antypov, Katie Atkinson, Matthew S. Dyer, Matthew J. Rosseinsky, Sven Schewe, Ahsan Ahmad Ursani, Andrij Vasylenko
2025	J	`jnl`	Fast and Secure Multiparty Querying over Federated Graph Databases. SN Comput. Sci. Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe
2025	—	`conf`	Generalised Reachability Games Revisited. GandALF Sougata Bose, Daniel Hausmann, Soumyajit Paul, Sven Schewe, Tansholpan Zhanabekova
2025	J	`jnl`	Good-for-MDP State Reduction for Stochastic LTL Planning. CoRR Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang
2025	—	`conf`	Objective Improvement Algorithm for Controller Synthesis in Uncertain Environments. CDC Daniele Dell'Erba, Sven Schewe, Ashutosh Trivedi
2025	J	`jnl`	Priority Promotion with Parysian flair. J. Comput. Syst. Sci. Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, Sven Schewe, Dominik Wojtczak
2025	B	`conf`	Resolving Nondeterminism by Chance. CONCUR Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen
2025	J	`jnl`	Resolving Nondeterminism by Chance. CoRR Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen
2025	J	`jnl`	S$^{2}$2O: Enhancing Adversarial Training With Second-Order Statistics of Weights. IEEE Trans. Pattern Anal. Mach. Intell. Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, Xiaowei Huang
2025	A*	`conf`	Saturation Problems for Families of Automata. ICALP León Bohn, Yong Li, Christof Löding, Sven Schewe
2025	J	`jnl`	Saturation Problems for Families of Automata. CoRR León Bohn, Yong Li, Christof Löding, Sven Schewe
2025	A*	`conf`	Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives. IJCAI Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, Pian Yu
2025	J	`jnl`	Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives. CoRR Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, Pian Yu
2024	J	`jnl`	An Objective Improvement Approach to Solving Discounted Payoff Games. CoRR Daniele Dell'Erba, Arthur Dumas, Sven Schewe
2024	C	`conf`	Analytically Determining the Robustness of Binarized Neural Networks. ICMLA Sahar M. Alzahrani, Sven Schewe, Chao Huang, Xiaowei Huang
2024	A*	`conf`	Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata. IJCAI Yong Li, Sven Schewe, Qiyi Tang
2024	—	`conf`	DFAMiner: Mining Minimal Separating DFAs from Labelled Samples. FM (2) Daniele Dell'Erba, Yong Li, Sven Schewe
2024	J	`jnl`	DFAMiner: Mining minimal separating DFAs from labelled samples. CoRR Daniele Dell'Erba, Yong Li, Sven Schewe
2024	C	`conf`	Efficient and Secure Multiparty Querying over Federated Graph Databases. DATA Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe
2024	C	`conf`	Hierarchical Supervised Monte Carlo Ensemble Learning. ICMLA Ziauddin Ursani, Dmytro Antypov, Katie Atkinson, Judith Clymo, Matthew S. Dyer, Matthew J. Rosseinsky, Sven Schewe, Andrij Vasylenko
2024	J	`jnl`	History-deterministic Timed Automata. Log. Methods Comput. Sci. Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
2024	A	`conf`	Multi-Agent Reinforcement Learning for Alternating-Time Logic. ECAI Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2024	C	`conf`	Natural Adversarial Attacks. ICMLA Michael J. Hughes, Sven Schewe
2024	A*	`conf`	Omega-Regular Decision Processes. AAAI Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2024	C	`conf`	Secure Multi-Party Traversal Queries over Federated Graph Databases. SECRYPT Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe
2024	J	`jnl`	Semantic flowers for good-for-games and deterministic automata. Inf. Process. Lett. Daniele Dell'Erba, Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova
2024	J	`jnl`	Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata. Theor. Comput. Sci. Yong Li, Sven Schewe, Moshe Y. Vardi
2024	C	`conf`	The Theory of Probabilistic Hierarchical Supervised Ensemble Learning. ICMLA Ziauddin Ursani, Dmytro Antypov, Katie Atkinson, Judith Clymo, Matthew S. Dyer, Matthew J. Rosseinsky, Sven Schewe, Andrij Vasylenko
2023	—	`conf`	A Novel Family of Finite Automata for Recognizing and Learning ømega-Regular Languages. ATVA (1) Yong Li, Sven Schewe, Qiyi Tang
2023	J	`jnl`	A novel family of finite automata for recognizing and learning ω-regular languages. CoRR Yong Li, Sven Schewe, Qiyi Tang
2023	—	`conf`	An Objective Improvement Approach to Solving Discounted Payoff Games. GandALF Daniele Dell'Erba, Arthur Dumas, Sven Schewe
2023	B	`conf`	Deciding What Is Good-For-MDPs. CONCUR Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova
2023	J	`jnl`	History-deterministic Timed Automata. CoRR Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
2023	J	`jnl`	Multi-objective ω-Regular Reinforcement Learning. Formal Aspects Comput. Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	—	`conf`	Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. TACAS (1) Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	J	`jnl`	Omega-Regular Decision Processes. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	A	`conf`	Omega-Regular Reward Machines. ECAI Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	J	`jnl`	Omega-Regular Reward Machines. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	J	`jnl`	On the Succinctness of Good-for-MDPs Automata. CoRR Sven Schewe, Qiyi Tang
2023	J	`jnl`	Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance. ACM Trans. Embed. Comput. Syst. Yi Dong, Wei Huang, Vibhav Bharti, Victoria Cox, Alec Banks, Sen Wang, Xingyu Zhao, Sven Schewe, Xiaowei Huang
2023	Misc	`conf`	Robust Bayesian Abstraction of Neural Networks. ICMLC Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang
2023	C	`conf`	Secure Joint Querying Over Federated Graph Databases Utilising SMPC Protocols. ICISSP Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe
2023	B	`conf`	Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. CONCUR Yong Li, Sven Schewe, Moshe Y. Vardi
2023	J	`jnl`	Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. CoRR Yong Li, Sven Schewe, Moshe Y. Vardi
2023	—	`conf`	Weight-based Semantic Testing Approach for Deep Neural Networks. AISafety/SafeRL@IJCAI Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang
2022	J	`jnl`	A Recursive Approach to Solving Parity Games in Quasipolynomial Time. Log. Methods Comput. Sci. Karoliina Lehtinen, Pawel Parys, Sven Schewe, Dominik Wojtczak
2022	J	`jnl`	Alternating Good-for-MDP Automata. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	B	`conf`	Alternating Good-for-MDPs Automata. ATVA Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	B	`conf`	An Impossibility Result in Automata-Theoretic Reinforcement Learning. ATVA Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	J	`jnl`	Deciding What is Good-for-MDPs. CoRR Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova
2022	B	`conf`	EPMC Gets Knowledge in Multi-agent Systems. VMCAI Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang
2022	A*	`conf`	Enhancing Adversarial Training with Second-Order Statistics of Weights. CVPR Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, Xiaowei Huang
2022	J	`jnl`	Enhancing Adversarial Training with Second-Order Statistics of Weights. CoRR Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, Xiaowei Huang
2022	A*	`conf`	Hidden 1-Counter Markov Models and How to Learn Them. IJCAI Mehmet Kurucan, Mete Özbaltan, Sven Schewe, Dominik Wojtczak
2022	—	`conf`	History-Deterministic Timed Automata Are Not Determinizable. RP Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
2022	—	`conf`	Natural Colors of Infinite Words. FSTTCS Rüdiger Ehlers, Sven Schewe
2022	J	`jnl`	Natural Colors of Infinite Words. CoRR Rüdiger Ehlers, Sven Schewe
2022	—	`conf`	Quantifying the Importance of Latent Features in Neural Networks. SafeAI@AAAI Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang
2022	A*	`conf`	Recursive Reinforcement Learning. NeurIPS Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	J	`jnl`	Recursive Reinforcement Learning. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	C	`conf`	Reinforcement Learning with Guarantees that Hold for Ever. FMICS Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	C	`conf`	SMPG: Secure Multi Party Computation on Graph Databases. ICISSP Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe
2022	J	`jnl`	Smaller Progress Measures and Separating Automata for Parity Games. CoRR Daniele Dell'Erba, Sven Schewe
2022	J	`jnl`	Smaller progress measures and separating automata for parity games. Frontiers Comput. Sci. Daniele Dell'Erba, Sven Schewe
2022	J	`jnl`	Weight Expansion: A New Perspective on Dropout and Generalization. CoRR Gaojie Jin, Xinping Yi, Pengfei Yang, Lijun Zhang, Sven Schewe, Xiaowei Huang
2022	J	`jnl`	Weight Expansion: A New Perspective on Dropout and Generalization. Trans. Mach. Learn. Res. Gaojie Jin, Xinping Yi, Pengfei Yang, Lijun Zhang, Sven Schewe, Xiaowei Huang
2021	J	`jnl`	A Recursive Approach to Solving Parity Games in Quasipolynomial Time. CoRR Karoliina Lehtinen, Pawel Parys, Sven Schewe, Dominik Wojtczak
2021	J	`jnl`	Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features. CoRR Nicolas Berthier, Amany Alshareef, James Sharp, Sven Schewe, Xiaowei Huang
2021	—	`conf`	Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. AISafety@IJCAI Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang
2021	J	`jnl`	Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. CoRR Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang
2021	—	`conf`	Detecting Operational Adversarial Examples for Reliable Deep Learning. DSN (Supplements) Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang
2021	J	`jnl`	Detecting Operational Adversarial Examples for Reliable Deep Learning. CoRR Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang
2021	J	`jnl`	Editorial - Special issue on Concurrency Theory (CONCUR 2018). J. Comput. Syst. Sci. Sven Schewe, Lijun Zhang
2021	J	`jnl`	Maximum rooted connected expansion. Theor. Comput. Sci. Ioannis Lamprou, Russell Martin, Sven Schewe, Ioannis Sigalas, Vassilis Zissimopoulos
2021	—	`conf`	Model-Free Reinforcement Learning for Branching Markov Decision Processes. CAV (2) Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021	B	`conf`	Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. FM Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021	J	`jnl`	Model-free Reinforcement Learning for Branching Markov Decision Processes. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021	J	`jnl`	Mungojerrie: Reinforcement Learning of Linear-Time Objectives. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021	J	`jnl`	Priority Promotion with Parysian Flair. CoRR Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, Sven Schewe, Dominik Wojtczak
2021	J	`jnl`	Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems. CoRR Xingyu Zhao, Wei Huang, Vibhav Bharti, Yi Dong, Victoria Cox, Alec Banks, Sen Wang, Sven Schewe, Xiaowei Huang
2021	B	`conf`	Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. FoSSaCS Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
2021	J	`jnl`	Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. CoRR Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
2021	—	`ch.`	ω-Automata. Handbook of Automata Theory (I.) Thomas Wilke, Sven Schewe
2020	B	`conf`	Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. ATVA Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2020	J	`jnl`	Fast two-robot disk evacuation with wireless communication. Theor. Comput. Sci. Ioannis Lamprou, Russell Martin, Sven Schewe
2020	—	`conf`	Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. TACAS (1) Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2020	A*	`conf`	How does Weight Correlation Affect Generalisation Ability of Deep Neural Networks? NeurIPS Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang, Sven Schewe, Xiaowei Huang
2020	J	`jnl`	How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks. CoRR Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang, Sven Schewe, Xiaowei Huang
2020	—	`conf`	Minimising Good-For-Games Automata Is NP-Complete. FSTTCS Sven Schewe
2020	J	`jnl`	Minimising Good-for-Games automata is NP complete. CoRR Sven Schewe
2020	B	`conf`	Model-Free Reinforcement Learning for Stochastic Parity Games. CONCUR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2020	J	`jnl`	Reward Shaping for Reinforcement Learning with Omega-Regular Objectives. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2019	J	`jnl`	An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space. Int. J. Softw. Tools Technol. Transf. John Fearnley, Sanjay Jain, Bart de Keijzer, Sven Schewe, Frank Stephan, Dominik Wojtczak
2019	J	`jnl`	Eternally dominating large grids. Theor. Comput. Sci. Ioannis Lamprou, Russell Martin, Sven Schewe
2019	J	`jnl`	Good-for-MDPs Automata. CoRR Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi, Sven Schewe, Dominik Wojtczak
2019	J	`jnl`	Improving the complexity of Parys' recursive algorithm. CoRR Karoliina Lehtinen, Sven Schewe, Dominik Wojtczak
2019	—	`conf`	Limit reachability for model-free reinforcement learning of ω-regular objectives. SNR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2019	—	`conf`	Omega-Regular Objectives in Model-Free Reinforcement Learning. TACAS (1) Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2019	J	`jnl`	Parity Games with Weights. Log. Methods Comput. Sci. Sven Schewe, Alexander Weinert, Martin Zimmermann
2019	J	`jnl`	Special issue on Temporal Representation and Reasoning (TIME 2017). Theor. Comput. Sci. Sven Schewe, Thomas Schneider, Jef Wijsen
2018	B	`ed.`	29th International Conference on Concurrency Theory, CONCUR 2018, Beijing, China, September 4-7, 2018 CONCUR Sven Schewe, Lijun Zhang
2018	B	`conf`	Accelerated Model Checking of Parametric Markov Chains. ATVA Paul Gainer, Ernst Moritz Hahn, Sven Schewe
2018	J	`jnl`	Accelerated Model Checking of Parametric Markov Chains. CoRR Paul Gainer, Ernst Moritz Hahn, Sven Schewe
2018	J	`jnl`	Buying Optimal Payoffs in Bi-Matrix Games. Games Anshul Gupta, Sven Schewe
2018	—	`conf`	Incremental Verification of Parametric and Reconfigurable Markov Chains. QEST Paul Gainer, Ernst Moritz Hahn, Sven Schewe
2018	J	`jnl`	Incremental Verification of Parametric and Reconfigurable Markov Chains. CoRR Paul Gainer, Ernst Moritz Hahn, Sven Schewe
2018	B	`conf`	Learning to Complement Büchi Automata. VMCAI Yong Li, Andrea Turrini, Lijun Zhang, Sven Schewe
2018	B	`conf`	Maximum Rooted Connected Expansion. MFCS Ioannis Lamprou, Russell Martin, Sven Schewe, Ioannis Sigalas, Vassilis Zissimopoulos
2018	J	`jnl`	Maximum Rooted Connected Expansion. CoRR Ioannis Lamprou, Russell Martin, Sven Schewe, Ioannis Sigalas, Vassilis Zissimopoulos
2018	J	`jnl`	Omega-Regular Objectives in Model-Free Reinforcement Learning. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2018	B	`conf`	Parity Games with Weights. CSL Sven Schewe, Alexander Weinert, Martin Zimmermann
2018	J	`jnl`	Parity Games with Weights. CoRR Sven Schewe, Alexander Weinert, Martin Zimmermann
2017	C	`ed.`	24th International Symposium on Temporal Representation and Reasoning, TIME 2017, Mons, Belgium, October 16-18, 2017 TIME Sven Schewe, Thomas Schneider, Jef Wijsen
2017	—	`conf`	A hot method for synthesising cool controllers. SPIN Idress Husien, Nicolas Berthier, Sven Schewe
2017	J	`jnl`	An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space. CoRR John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, Dominik Wojtczak
2017	—	`conf`	An ordered approach to solving parity games in quasi polynomial time and quasi linear space. SPIN John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, Dominik Wojtczak
2017	—	`conf`	CTL* synthesis via LTL synthesis. SYNT@CAV Roderick Bloem, Sven Schewe, Ayrat Khalimov
2017	J	`jnl`	MDPs with Energy-Parity Objectives. CoRR Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
2017	A*	`conf`	MDPs with energy-parity objectives. LICS Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
2017	J	`jnl`	Model-checking iterated games. Acta Informatica Chung-Hao Huang, Sven Schewe, Farn Wang
2017	J	`jnl`	Optimal Control for Multi-Mode Systems with Discrete Costs. CoRR Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak
2017	—	`conf`	Optimal Control for Multi-mode Systems with Discrete Costs. FORMATS Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak
2017	C	`conf`	Perpetually Dominating Large Grids. CIAC Ioannis Lamprou, Russell Martin, Sven Schewe
2017	Misc	`conf`	PranCS: A Protocol and Discrete Controller Synthesis Tool. SETTA Idress Husien, Sven Schewe, Nicolas Berthier
2017	J	`jnl`	Solving parity games in big steps. J. Comput. Syst. Sci. Sven Schewe
2017	B	`conf`	Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. VMCAI Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang
2016	J	`jnl`	A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors. IEEE Trans. Software Eng. Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang
2016	—	`conf`	A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. CAV (2) Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang
2016	A	`conf`	Complementing Semi-deterministic Büchi Automata. TACAS Frantisek Blahoudek, Matthias Heizmann, Sven Schewe, Jan Strejcek, Ming-Hsien Tsai
2016	J	`jnl`	Controlling loosely cooperating processes. Theor. Comput. Sci. Anca Muscholl, Sven Schewe
2016	J	`jnl`	Efficient approximation of optimal control for continuous-time Markov games. Inf. Comput. John Fearnley, Markus N. Rabe, Sven Schewe, Lijun Zhang
2016	A	`conf`	Fast Two-Robot Disk Evacuation with Wireless Communication. DISC Ioannis Lamprou, Russell Martin, Sven Schewe
2016	J	`jnl`	Fast Two-Robot Disk Evacuation with Wireless Communication. CoRR Ioannis Lamprou, Russell Martin, Sven Schewe
2016	B	`conf`	Incentive Stackelberg Mean-Payoff Games. SEFM Anshul Gupta, Sven Schewe, Ashutosh Trivedi, Sai Krishna Deepak Maram, Bharath Kumar Padarthi
2016	C	`conf`	Optimal Control for Simple Linear Hybrid Systems. TIME Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak
2016	J	`jnl`	Perpetually Dominating Large Grids. CoRR Ioannis Lamprou, Russell Martin, Sven Schewe
2016	B	`conf`	Program Generation Using Simulated Annealing and Model Checking. SEFM Idress Husien, Sven Schewe
2016	J	`jnl`	Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. CoRR Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang
2015	J	`jnl`	An Extension of ATL with Strategy Interaction. ACM Trans. Program. Lang. Syst. Farn Wang, Sven Schewe, Chung-Hao Huang
2015	—	`conf`	Bounded-rate multi-mode systems based motion planning. HSCC Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi
2015	J	`jnl`	Complexity of node coverage games. Theor. Comput. Sci. Farn Wang, Sven Schewe, Jung-Hsuan Wu
2015	J	`jnl`	Incentive Stackelberg Mean-payoff Games. CoRR Anshul Gupta, Sai Krishna Deepak Maram, Bharath Kumar Padarthi, Sven Schewe, Ashutosh Trivedi
2015	A	`conf`	It Pays to Pay in Bi-Matrix Games: a Rational Explanation for Bribery. AAMAS Anshul Gupta, Sven Schewe
2015	B	`conf`	Knowledge = Observation + Memory + Computation. FoSSaCS Blaise Genest, Doron A. Peled, Sven Schewe
2015	B	`conf`	Lazy Probabilistic Model Checking without Determinisation. CONCUR Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang
2015	C	`conf`	Local and global fairness in concurrent systems. MEMOCODE Alon Brook, Doron A. Peled, Sven Schewe
2015	—	`conf`	Making the Best of Limited Memory in Multi-Player Discounted Sum Games. GandALF Anshul Gupta, Sven Schewe, Dominik Wojtczak
2015	—	`conf`	Symmetric Strategy Improvement. ICALP (2) Sven Schewe, Ashutosh Trivedi, Thomas Varghese
2015	J	`jnl`	Symmetric Strategy Improvement. CoRR Sven Schewe, Ashutosh Trivedi, Thomas Varghese
2015	J	`jnl`	Synthesis of succinct systems. J. Comput. Syst. Sci. John Fearnley, Doron A. Peled, Sven Schewe
2014	J	`jnl`	Bounded-Rate Multi-Mode Systems Based Motion Planning. CoRR Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi
2014	—	`conf`	Determinising Parity Automata. MFCS (1) Sven Schewe, Thomas Varghese
2014	J	`jnl`	Determinising Parity Automata. CoRR Sven Schewe, Thomas Varghese
2014	—	`ch.`	Distributed Control Synthesis. HOWARD-60 Doron A. Peled, Sven Schewe
2014	J	`jnl`	Distributed synthesis is simply undecidable. Inf. Process. Lett. Sven Schewe
2014	J	`jnl`	Editorial: special issue on synthesis. Acta Informatica Doron A. Peled, Sven Schewe
2014	C	`conf`	Quantitative Verification in Rational Environments. TIME Anshul Gupta, Sven Schewe
2014	—	`conf`	Tight Bounds for Complementing Parity Automata. MFCS (1) Sven Schewe, Thomas Varghese
2014	J	`jnl`	Tight Bounds for Complementing Parity Automata. CoRR Sven Schewe, Thomas Varghese
2014	B	`conf`	iscasMc: A Web-Based Probabilistic Model Checker. FM Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang
2013	J	`jnl`	Bounded synthesis. Int. J. Softw. Tools Technol. Transf. Bernd Finkbeiner, Sven Schewe
2013	J	`jnl`	Combined model checking for temporal, probabilistic, and real-time logics. Theor. Comput. Sci. Savas Konur, Michael Fisher, Sven Schewe
2013	J	`jnl`	Coverage Games for Testing Nondeterministic Systems. CoRR Farn Wang, Jung-Hsuan Wu, Sven Schewe, Chung-Hao Huang
2013	J	`jnl`	Lazy Determinisation for Quantitative Model Checking. CoRR Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Lijun Zhang
2013	A	`conf`	Model-Checking Iterated Games. TACAS Chung-Hao Huang, Sven Schewe, Farn Wang
2013	—	`conf`	More is Sometimes Less: Succinctness in EL. Description Logics Nadeschda Nikitina, Sven Schewe
2013	Misc	`conf`	Multiplayer Cost Games with Simple Nash Equilibria. LFCS Thomas Brihaye, Julie De Pril, Sven Schewe
2013	J	`jnl`	Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games. Theor. Comput. Sci. Markus N. Rabe, Sven Schewe
2013	—	`conf`	Simplifying Description Logic Ontologies. ISWC (1) Nadeschda Nikitina, Sven Schewe
2013	J	`jnl`	The benefit of law-making power. CoRR Anshul Gupta, Sven Schewe
2013	J	`jnl`	Time and Space Results for Parity Games with Bounded Treewidth Log. Methods Comput. Sci. John Fearnley, Sven Schewe
2013	B	`conf`	Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge. MFCS Anca Muscholl, Sven Schewe
2012	J	`jnl`	Bounded Satisfiability for PCTL CoRR Nathalie Bertrand, John Fearnley, Sven Schewe
2012	B	`conf`	Bounded Satisfiability for PCTL. CSL Nathalie Bertrand, John Fearnley, Sven Schewe
2012	J	`jnl`	Multiplayer Cost Games with Simple Nash Equilibria CoRR Thomas Brihaye, Julie De Pril, Sven Schewe
2012	—	`conf`	Playing Optimally on Timed Automata with Random Delays. FORMATS Nathalie Bertrand, Sven Schewe
2012	—	`ed.`	Proceedings First Workshop on Synthesis, SYNT 2012, Berkeley, California, USA, 7th and 8th July 2012. SYNT Doron A. Peled, Sven Schewe
2012	—	`conf`	Rapid Recovery for Systems with Scarce Faults GandALF Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang
2012	J	`jnl`	Synthesis of Succinct Systems CoRR John Fearnley, Doron A. Peled, Sven Schewe
2012	B	`conf`	Synthesis of Succinct Systems. ATVA John Fearnley, Doron A. Peled, Sven Schewe
2012	B	`conf`	Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata. ATVA Sven Schewe, Thomas Varghese
2012	—	`conf`	Time and Parallelizability Results for Parity Games with Bounded Treewidth. ICALP (2) John Fearnley, Sven Schewe
2011	—	`conf`	Efficient Approximation of Optimal Control for Continuous-Time Markov Games. FSTTCS John Fearnley, Markus N. Rabe, Sven Schewe, Lijun Zhang
2011	J	`jnl`	Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games. Acta Informatica Markus N. Rabe, Sven Schewe
2011	—	`conf`	Practical Distributed Control Synthesis INFINITY Doron A. Peled, Sven Schewe
2011	A*	`conf`	Synthesis of Distributed Control through Knowledge Accumulation. CAV Gal Katz, Doron A. Peled, Sven Schewe
2011	C	`conf`	Synthesising Classic and Interval Temporal Logic. TIME Sven Schewe, Cong Tian
2011	B	`conf`	The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. ATVA Gal Katz, Doron A. Peled, Sven Schewe
2010	—	`conf`	Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete. FSTTCS Sven Schewe
2010	B	`conf`	Coordination Logic. CSL Bernd Finkbeiner, Sven Schewe
2010	J	`jnl`	Efficient Approximation of Optimal Control for Markov Games CoRR Markus N. Rabe, Sven Schewe, Lijun Zhang
2010	J	`jnl`	Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games CoRR Markus N. Rabe, Sven Schewe
2010	J	`jnl`	Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata CoRR Sven Schewe
2010	—	`conf`	Optimal Time-Abstract Schedulers for CTMDPs and Markov Games QAPL Markus N. Rabe, Sven Schewe
2010	J	`jnl`	Synthese Verteilter Systeme (Synthesis of Distributed Systems). it Inf. Technol. Sven Schewe
2010	J	`jnl`	Synthesising certificates in networks of timed automata. IET Softw. Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe
2009	A	`conf`	Büchi Complementation Made Tight. STACS Sven Schewe
2009	J	`jnl`	Büchi complementation made tight CoRR Sven Schewe
2009	B	`conf`	From Parity and Payoff Games to Linear Programming. MFCS Sven Schewe
2009	—	`conf`	Software Synthesis is Hard - and Simple. Software Synthesis Sven Schewe
2009	B	`conf`	Tighter Bounds for the Determinisation of Büchi Automata. FoSSaCS Sven Schewe
2009	J	`jnl`	Towards the Verification of Pervasive Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin
2008	—	`conf`	ATL* Satisfiability Is 2EXPTIME-Complete. ICALP (2) Sven Schewe
2008	B	`conf`	An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games. CSL Sven Schewe
2008	A	`conf`	RESY: Requirement Synthesis for Compositional Model Checking. TACAS Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe
2008	—	`ch.`	Synthese Verteilter Systeme [Synthesis of Distributed Systems]. Ausgezeichnete Informatikdissertationen Sven Schewe
2008	—	`—`	Synthesis of distributed systems. Sven Schewe
2008	A	`conf`	Synthesizing Certificates in Networks of Timed Automata. RTSS Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe
2007	B	`conf`	Bounded Synthesis. ATVA Sven Schewe, Bernd Finkbeiner
2007	B	`conf`	Distributed Synthesis for Alternating-Time Logics. ATVA Sven Schewe, Bernd Finkbeiner
2007	J	`jnl`	Semi-automatic Distributed Synthesis. Int. J. Found. Comput. Sci. Sven Schewe, Bernd Finkbeiner
2007	—	`conf`	Solving Parity Games in Big Steps. FSTTCS Sven Schewe
2006	C	`conf`	Automatic Synthesis of Assumptions for Compositional Model Checking. FORTE Bernd Finkbeiner, Sven Schewe, Matthias Brill
2006	B	`conf`	Satisfiability and Finite Model Property for the Alternating-Time CSL Sven Schewe, Bernd Finkbeiner
2006	B	`conf`	Selective Approaches for Solving Weak Games. ATVA Malte Helmert, Robert Mattmüller, Sven Schewe
2006	B	`conf`	Synthesis for Probabilistic Environments. ATVA Sven Schewe
2006	C	`conf`	Synthesis of Asynchronous Systems. LOPSTR Sven Schewe, Bernd Finkbeiner
2005	B	`conf`	Semi-automatic Distributed Synthesis. ATVA Bernd Finkbeiner, Sven Schewe
2005	A*	`conf`	Uniform Distributed Synthesis. LICS Bernd Finkbeiner, Sven Schewe