Sven Schewe

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 120

Top Venues

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Daniele Dell'Erba, Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova
Semantic flowers for good-for-games and deterministic automata. Inf. Process. Lett. 185 (2024)
Yong Li, Sven Schewe, Qiyi Tang
A Novel Family of Finite Automata for Recognizing and Learning ømega-Regular Languages. ATVA (1) (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Multi-objective ω-Regular Reinforcement Learning. Formal Aspects Comput. 35 (2) (2023)
Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova
Deciding What Is Good-For-MDPs. CONCUR (2023)
Sven Schewe, Qiyi Tang
On the Succinctness of Good-for-MDPs Automata. CoRR (2023)
Yong Li, Sven Schewe, Moshe Y. Vardi
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. CONCUR (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Decision Processes. CoRR (2023)
Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang
Robust Bayesian Abstraction of Neural Networks. ICMLC (2023)
Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe
Secure Joint Querying Over Federated Graph Databases Utilising SMPC Protocols. ICISSP (2023)
Yi Dong, Wei Huang, Vibhav Bharti, Victoria Cox, Alec Banks, Sen Wang, Xingyu Zhao, Sven Schewe, Xiaowei Huang
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance. ACM Trans. Embed. Comput. Syst. 22 (3) (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. TACAS (1) (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Reward Machines. ECAI (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Reward Machines. CoRR (2023)
Daniele Dell'Erba, Arthur Dumas, Sven Schewe
An Objective Improvement Approach to Solving Discounted Payoff Games. GandALF (2023)
Yong Li, Sven Schewe, Qiyi Tang
A novel family of finite automata for recognizing and learning ω-regular languages. CoRR (2023)
Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
History-deterministic Timed Automata. CoRR (2023)
Yong Li, Sven Schewe, Moshe Y. Vardi
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. CoRR (2023)
Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang
Weight-based Semantic Testing Approach for Deep Neural Networks. AISafety/SafeRL@IJCAI (2023)
Daniele Dell'Erba, Sven Schewe
Smaller Progress Measures and Separating Automata for Parity Games. CoRR (2022)
Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang
EPMC Gets Knowledge in Multi-agent Systems. VMCAI (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Alternating Good-for-MDP Automata. CoRR (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Recursive Reinforcement Learning. CoRR (2022)
Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova
Deciding What is Good-for-MDPs. CoRR (2022)
Gaojie Jin, Xinping Yi, Pengfei Yang, Lijun Zhang, Sven Schewe, Xiaowei Huang
Weight Expansion: A New Perspective on Dropout and Generalization. CoRR (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
An Impossibility Result in Automata-Theoretic Reinforcement Learning. ATVA (2022)
Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang
Quantifying the Importance of Latent Features in Neural Networks. SafeAI@AAAI (2022)
Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
History-Deterministic Timed Automata Are Not Determinizable. RP (2022)
Karoliina Lehtinen, Pawel Parys, Sven Schewe, Dominik Wojtczak
A Recursive Approach to Solving Parity Games in Quasipolynomial Time. Log. Methods Comput. Sci. 18 (1) (2022)
Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, Xiaowei Huang
Enhancing Adversarial Training with Second-Order Statistics of Weights. CVPR (2022)
Mehmet Kurucan, Mete Özbaltan, Sven Schewe, Dominik Wojtczak
Hidden 1-Counter Markov Models and How to Learn Them. IJCAI (2022)
Gaojie Jin, Xinping Yi, Pengfei Yang, Lijun Zhang, Sven Schewe, Xiaowei Huang
Weight Expansion: A New Perspective on Dropout and Generalization. Trans. Mach. Learn. Res. 2022 (2022)
Rüdiger Ehlers, Sven Schewe
Natural Colors of Infinite Words. CoRR (2022)
Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, Xiaowei Huang
Enhancing Adversarial Training with Second-Order Statistics of Weights. CoRR (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Reinforcement Learning with Guarantees that Hold for Ever. FMICS (2022)
Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe
SMPG: Secure Multi Party Computation on Graph Databases. ICISSP (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Recursive Reinforcement Learning. NeurIPS (2022)
Rüdiger Ehlers, Sven Schewe
Natural Colors of Infinite Words. FSTTCS (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Alternating Good-for-MDPs Automata. ATVA (2022)
Daniele Dell'Erba, Sven Schewe
Smaller progress measures and separating automata for parity games. Frontiers Comput. Sci. 4 (2022)
Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. FoSSaCS (2021)
Sven Schewe, Lijun Zhang
Editorial - Special issue on Concurrency Theory (CONCUR 2018). J. Comput. Syst. Sci. 119 (2021)
Xingyu Zhao, Wei Huang, Vibhav Bharti, Yi Dong, Victoria Cox, Alec Banks, Sen Wang, Sven Schewe, Xiaowei Huang
Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems. CoRR (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. FM (2021)
Nicolas Berthier, Amany Alshareef, James Sharp, Sven Schewe, Xiaowei Huang
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features. CoRR (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Model-free Reinforcement Learning for Branching Markov Decision Processes. CoRR (2021)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, Sven Schewe, Dominik Wojtczak
Priority Promotion with Parysian Flair. CoRR (2021)
Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. CoRR (2021)
Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. AISafety@IJCAI (2021)
Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang
Detecting Operational Adversarial Examples for Reliable Deep Learning. DSN (Supplements) (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Mungojerrie: Reinforcement Learning of Linear-Time Objectives. CoRR (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Model-Free Reinforcement Learning for Branching Markov Decision Processes. CAV (2) (2021)
Karoliina Lehtinen, Pawel Parys, Sven Schewe, Dominik Wojtczak
A Recursive Approach to Solving Parity Games in Quasipolynomial Time. CoRR (2021)
Ioannis Lamprou, Russell Martin, Sven Schewe, Ioannis Sigalas, Vassilis Zissimopoulos
Maximum rooted connected expansion. Theor. Comput. Sci. 873 (2021)
Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang
Detecting Operational Adversarial Examples for Reliable Deep Learning. CoRR (2021)
Xingyu Zhao, Wei Huang, Alec Banks, Victoria Cox, David Flynn, Sven Schewe, Xiaowei Huang
Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles. CoRR (2021)
Ioannis Lamprou, Russell Martin, Sven Schewe
Fast two-robot disk evacuation with wireless communication. Theor. Comput. Sci. 846 (2020)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Reward Shaping for Reinforcement Learning with Omega-Regular Objectives. CoRR (2020)
Sven Schewe
Minimising Good-For-Games Automata Is NP-Complete. FSTTCS (2020)
Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang, Sven Schewe, Xiaowei Huang
How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks. CoRR (2020)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. ATVA (2020)
Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang, Sven Schewe, Xiaowei Huang
How does Weight Correlation Affect Generalisation Ability of Deep Neural Networks? NeurIPS (2020)
Sven Schewe
Minimising Good-for-Games automata is NP complete. CoRR (2020)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Model-Free Reinforcement Learning for Stochastic Parity Games. CONCUR (2020)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. TACAS (1) (2020)
Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi, Sven Schewe, Dominik Wojtczak
Good-for-MDPs Automata. CoRR (2019)
Sven Schewe, Alexander Weinert, Martin Zimmermann
Parity Games with Weights. Log. Methods Comput. Sci. 15 (3) (2019)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Objectives in Model-Free Reinforcement Learning. TACAS (1) (2019)
John Fearnley, Sanjay Jain, Bart de Keijzer, Sven Schewe, Frank Stephan, Dominik Wojtczak
An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space. Int. J. Softw. Tools Technol. Transf. 21 (3) (2019)
Ioannis Lamprou, Russell Martin, Sven Schewe
Eternally dominating large grids. Theor. Comput. Sci. 794 (2019)
Karoliina Lehtinen, Sven Schewe, Dominik Wojtczak
Improving the complexity of Parys' recursive algorithm. CoRR (2019)
Sven Schewe, Thomas Schneider, Jef Wijsen
Special issue on Temporal Representation and Reasoning (TIME 2017). Theor. Comput. Sci. 797 (2019)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Limit reachability for model-free reinforcement learning of ω-regular objectives. SNR (2019)
Paul Gainer, Ernst Moritz Hahn, Sven Schewe
Incremental Verification of Parametric and Reconfigurable Markov Chains. CoRR (2018)
Sven Schewe, Alexander Weinert, Martin Zimmermann
Parity Games with Weights. CoRR (2018)
Paul Gainer, Ernst Moritz Hahn, Sven Schewe
Accelerated Model Checking of Parametric Markov Chains. CoRR (2018)
Ioannis Lamprou, Russell Martin, Sven Schewe, Ioannis Sigalas, Vassilis Zissimopoulos
Maximum Rooted Connected Expansion. CoRR (2018)
Ioannis Lamprou, Russell Martin, Sven Schewe, Ioannis Sigalas, Vassilis Zissimopoulos
Maximum Rooted Connected Expansion. MFCS (2018)
Sven Schewe, Alexander Weinert, Martin Zimmermann
Parity Games with Weights. CSL (2018)
Paul Gainer, Ernst Moritz Hahn, Sven Schewe
Incremental Verification of Parametric and Reconfigurable Markov Chains. QEST (2018)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Objectives in Model-Free Reinforcement Learning. CoRR (2018)
Paul Gainer, Ernst Moritz Hahn, Sven Schewe
Accelerated Model Checking of Parametric Markov Chains. ATVA (2018)
Anshul Gupta, Sven Schewe
Buying Optimal Payoffs in Bi-Matrix Games. Games 9 (3) (2018)
Yong Li, Andrea Turrini, Lijun Zhang, Sven Schewe
Learning to Complement Büchi Automata. VMCAI (2018)
John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, Dominik Wojtczak
An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space. CoRR (2017)
Sven Schewe
Solving parity games in big steps. J. Comput. Syst. Sci. 84 (2017)
Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. VMCAI (2017)
Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak
Optimal Control for Multi-mode Systems with Discrete Costs. FORMATS (2017)
Ioannis Lamprou, Russell Martin, Sven Schewe
Perpetually Dominating Large Grids. CIAC (2017)
Idress Husien, Sven Schewe, Nicolas Berthier
PranCS: A Protocol and Discrete Controller Synthesis Tool. SETTA (2017)
Idress Husien, Nicolas Berthier, Sven Schewe
A hot method for synthesising cool controllers. SPIN (2017)
John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, Dominik Wojtczak
An ordered approach to solving parity games in quasi polynomial time and quasi linear space. SPIN (2017)
Chung-Hao Huang, Sven Schewe, Farn Wang
Model-checking iterated games. Acta Informatica 54 (7) (2017)
Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
MDPs with energy-parity objectives. LICS (2017)
Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
MDPs with Energy-Parity Objectives. CoRR (2017)
Roderick Bloem, Sven Schewe, Ayrat Khalimov
CTL* synthesis via LTL synthesis. SYNT@CAV (2017)
Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak
Optimal Control for Multi-Mode Systems with Discrete Costs. CoRR (2017)
John Fearnley, Markus N. Rabe, Sven Schewe, Lijun Zhang
Efficient approximation of optimal control for continuous-time Markov games. Inf. Comput. 247 (2016)
Ioannis Lamprou, Russell Martin, Sven Schewe
Perpetually Dominating Large Grids. CoRR (2016)
Ioannis Lamprou, Russell Martin, Sven Schewe
Fast Two-Robot Disk Evacuation with Wireless Communication. DISC (2016)
Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. CoRR (2016)

Sven Schewe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sven Schewe