default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSven Schewe
Person information
- affiliation: University of Liverpool, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j36]Massimo Benerecetti, Daniele Dell'Erba
, Fabio Mogavero, Sven Schewe, Dominik Wojtczak:
Priority Promotion with Parysian flair. J. Comput. Syst. Sci. 147: 103580 (2025)- [i57]Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen:
Resolving Nondeterminism by Chance. CoRR abs/2504.10234 (2025) - 2024
- [j35]Daniele Dell'Erba, Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova:
Semantic flowers for good-for-games and deterministic automata. Inf. Process. Lett. 185: 106468 (2024) - [j34]Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke:
History-deterministic Timed Automata. Log. Methods Comput. Sci. 20(4) (2024) - [j33]Yong Li, Sven Schewe, Moshe Y. Vardi:
Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata. Theor. Comput. Sci. 1006: 114650 (2024) - [c108]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Decision Processes. AAAI 2024: 21125-21133 - [c107]Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe:
Efficient and Secure Multiparty Querying over Federated Graph Databases. DATA 2024: 39-50 - [c106]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Multi-Agent Reinforcement Learning for Alternating-Time Logic. ECAI 2024: 1680-1687 - [c105]Daniele Dell'Erba, Yong Li, Sven Schewe:
DFAMiner: Mining Minimal Separating DFAs from Labelled Samples. FM (2) 2024: 48-66 - [c104]Michael J. Hughes, Sven Schewe:
Natural Adversarial Attacks. ICMLA 2024: 242-249 - [c103]Sahar M. Alzahrani, Sven Schewe, Chao Huang, Xiaowei Huang:
Analytically Determining the Robustness of Binarized Neural Networks. ICMLA 2024: 597-604 - [c102]Ziauddin Ursani, Dmytro Antypov, Katie Atkinson, Judith Clymo, Matthew S. Dyer, Matthew J. Rosseinsky, Sven Schewe, Andrij Vasylenko:
The Theory of Probabilistic Hierarchical Supervised Ensemble Learning. ICMLA 2024: 1182-1187 - [c101]Ziauddin Ursani, Dmytro Antypov, Katie Atkinson, Judith Clymo, Matthew S. Dyer, Matthew J. Rosseinsky, Sven Schewe, Andrij Vasylenko:
Hierarchical Supervised Monte Carlo Ensemble Learning. ICMLA 2024: 1764-1771 - [c100]Yong Li, Sven Schewe, Qiyi Tang:
Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata. IJCAI 2024: 4506-4514 - [c99]Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe:
Secure Multi-Party Traversal Queries over Federated Graph Databases. SECRYPT 2024: 716-721 - [i56]Daniele Dell'Erba, Arthur Dumas, Sven Schewe:
An Objective Improvement Approach to Solving Discounted Payoff Games. CoRR abs/2404.04124 (2024) - [i55]Daniele Dell'Erba, Yong Li, Sven Schewe:
DFAMiner: Mining minimal separating DFAs from labelled samples. CoRR abs/2405.18871 (2024) - 2023
- [j32]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Multi-objective ω-Regular Reinforcement Learning. Formal Aspects Comput. 35(2): 12:1-12:24 (2023) - [j31]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): 48:1-48:48 (2023) - [c98]Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang:
Weight-based Semantic Testing Approach for Deep Neural Networks. AISafety/SafeRL@IJCAI 2023 - [c97]Yong Li, Sven Schewe, Qiyi Tang:
A Novel Family of Finite Automata for Recognizing and Learning ømega-Regular Languages. ATVA (1) 2023: 53-73 - [c96]Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova:
Deciding What Is Good-For-MDPs. CONCUR 2023: 35:1-35:16 - [c95]Yong Li, Sven Schewe, Moshe Y. Vardi:
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. CONCUR 2023: 37:1-37:17 - [c94]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Reward Machines. ECAI 2023: 972-979 - [c93]Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe:
Secure Joint Querying Over Federated Graph Databases Utilising SMPC Protocols. ICISSP 2023: 210-217 - [c92]Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang:
Robust Bayesian Abstraction of Neural Networks. ICMLC 2023: 276-283 - [c91]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: 527-545 - [c90]Daniele Dell'Erba, Arthur Dumas, Sven Schewe:
An Objective Improvement Approach to Solving Discounted Payoff Games. GandALF 2023: 203-219 - [i54]Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke:
History-deterministic Timed Automata. CoRR abs/2304.03183 (2023) - [i53]Yong Li, Sven Schewe, Moshe Y. Vardi:
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. CoRR abs/2305.09966 (2023) - [i52]Yong Li, Sven Schewe, Qiyi Tang:
A novel family of finite automata for recognizing and learning ω-regular languages. CoRR abs/2307.07490 (2023) - [i51]Sven Schewe, Qiyi Tang:
On the Succinctness of Good-for-MDPs Automata. CoRR abs/2307.11483 (2023) - [i50]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Reward Machines. CoRR abs/2308.07469 (2023) - [i49]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Decision Processes. CoRR abs/2312.08602 (2023) - 2022
- [j30]Daniele Dell'Erba, Sven Schewe:
Smaller progress measures and separating automata for parity games. Frontiers Comput. Sci. 4 (2022) - [j29]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) - [j28]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) - [c89]Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang:
Quantifying the Importance of Latent Features in Neural Networks. SafeAI@AAAI 2022 - [c88]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
An Impossibility Result in Automata-Theoretic Reinforcement Learning. ATVA 2022: 42-57 - [c87]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Alternating Good-for-MDPs Automata. ATVA 2022: 303-319 - [c86]Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, Xiaowei Huang:
Enhancing Adversarial Training with Second-Order Statistics of Weights. CVPR 2022: 15252-15262 - [c85]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Reinforcement Learning with Guarantees that Hold for Ever. FMICS 2022: 3-7 - [c84]Rüdiger Ehlers, Sven Schewe:
Natural Colors of Infinite Words. FSTTCS 2022: 36:1-36:17 - [c83]Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe:
SMPG: Secure Multi Party Computation on Graph Databases. ICISSP 2022: 463-471 - [c82]Mehmet Kurucan, Mete Özbaltan, Sven Schewe, Dominik Wojtczak:
Hidden 1-Counter Markov Models and How to Learn Them. IJCAI 2022: 4857-4863 - [c81]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Recursive Reinforcement Learning. NeurIPS 2022 - [c80]Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke:
History-Deterministic Timed Automata Are Not Determinizable. RP 2022: 67-76 - [c79]Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang:
EPMC Gets Knowledge in Multi-agent Systems. VMCAI 2022: 93-107 - [i48]Gaojie Jin, Xinping Yi, Pengfei Yang, Lijun Zhang, Sven Schewe, Xiaowei Huang:
Weight Expansion: A New Perspective on Dropout and Generalization. CoRR abs/2201.09209 (2022) - [i47]Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova:
Deciding What is Good-for-MDPs. CoRR abs/2202.07629 (2022) - [i46]Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, Xiaowei Huang:
Enhancing Adversarial Training with Second-Order Statistics of Weights. CoRR abs/2203.06020 (2022) - [i45]Daniele Dell'Erba, Sven Schewe:
Smaller Progress Measures and Separating Automata for Parity Games. CoRR abs/2205.00744 (2022) - [i44]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Alternating Good-for-MDP Automata. CoRR abs/2205.03243 (2022) - [i43]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Recursive Reinforcement Learning. CoRR abs/2206.11430 (2022) - [i42]Rüdiger Ehlers, Sven Schewe:
Natural Colors of Infinite Words. CoRR abs/2207.11000 (2022) - 2021
- [j27]Sven Schewe, Lijun Zhang:
Editorial - Special issue on Concurrency Theory (CONCUR 2018). J. Comput. Syst. Sci. 119: 19-20 (2021) - [j26]Ioannis Lamprou, Russell Martin, Sven Schewe, Ioannis Sigalas, Vassilis Zissimopoulos:
Maximum rooted connected expansion. Theor. Comput. Sci. 873: 25-37 (2021) - [c78]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: 651-673 - [c77]Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang:
Detecting Operational Adversarial Examples for Reliable Deep Learning. DSN (Supplements) 2021: 5-6 - [c76]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. FM 2021: 142-159 - [c75]Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak:
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. FoSSaCS 2021: 427-447 - [c74]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 - [p3]Thomas Wilke, Sven Schewe:
ω-Automata. Handbook of Automata Theory (I.) 2021: 189-234 - [d1]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-free Reinforcement Learning for Branching Markov Decision Processes (Artifact Evaluation for CAV 2021). Zenodo, 2021
- [i41]Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak:
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. CoRR abs/2101.06989 (2021) - [i40]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 abs/2103.03704 (2021) - [i39]Xingyu Zhao, Wei Huang, Sven Schewe, Yi Dong, Xiaowei Huang:
Detecting Operational Adversarial Examples for Reliable Deep Learning. CoRR abs/2104.06015 (2021) - [i38]Karoliina Lehtinen, Pawel Parys, Sven Schewe, Dominik Wojtczak:
A Recursive Approach to Solving Parity Games in Quasipolynomial Time. CoRR abs/2104.09717 (2021) - [i37]Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, Sven Schewe, Dominik Wojtczak:
Priority Promotion with Parysian Flair. CoRR abs/2105.01738 (2021) - [i36]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 abs/2106.01258 (2021) - [i35]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-free Reinforcement Learning for Branching Markov Decision Processes. CoRR abs/2106.06777 (2021) - [i34]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Mungojerrie: Reinforcement Learning of Linear-Time Objectives. CoRR abs/2106.09161 (2021) - [i33]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 abs/2112.00646 (2021) - 2020
- [j25]Ioannis Lamprou, Russell Martin, Sven Schewe:
Fast two-robot disk evacuation with wireless communication. Theor. Comput. Sci. 846: 38-60 (2020) - [c73]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: 108-124 - [c72]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-Free Reinforcement Learning for Stochastic Parity Games. CONCUR 2020: 21:1-21:16 - [c71]Sven Schewe:
Minimising Good-For-Games Automata Is NP-Complete. FSTTCS 2020: 56:1-56:13 - [c70]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 - [c69]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: 306-323 - [i32]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Reward Shaping for Reinforcement Learning with Omega-Regular Objectives. CoRR abs/2001.05977 (2020) - [i31]Sven Schewe:
Minimising Good-for-Games automata is NP complete. CoRR abs/2003.11979 (2020) - [i30]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 abs/2010.05983 (2020)
2010 – 2019
- 2019
- [j24]Sven Schewe, Alexander Weinert, Martin Zimmermann:
Parity Games with Weights. Log. Methods Comput. Sci. 15(3) (2019) - [j23]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): 325-349 (2019) - [j22]Ioannis Lamprou, Russell Martin, Sven Schewe:
Eternally dominating large grids. Theor. Comput. Sci. 794: 27-46 (2019) - [j21]Sven Schewe, Thomas Schneider, Jef Wijsen:
Special issue on Temporal Representation and Reasoning (TIME 2017). Theor. Comput. Sci. 797: 1 (2019) - [c68]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: 16-18 - [c67]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Objectives in Model-Free Reinforcement Learning. TACAS (1) 2019: 395-412 - [i29]Karoliina Lehtinen, Sven Schewe, Dominik Wojtczak:
Improving the complexity of Parys' recursive algorithm. CoRR abs/1904.11810 (2019) - [i28]Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi, Sven Schewe, Dominik Wojtczak:
Good-for-MDPs Automata. CoRR abs/1909.05081 (2019) - 2018
- [j20]Anshul Gupta, Sven Schewe:
Buying Optimal Payoffs in Bi-Matrix Games. Games 9(3): 40 (2018) - [c66]Paul Gainer, Ernst Moritz Hahn, Sven Schewe:
Accelerated Model Checking of Parametric Markov Chains. ATVA 2018: 300-316 - [c65]Sven Schewe, Alexander Weinert, Martin Zimmermann:
Parity Games with Weights. CSL 2018: 36:1-36:17 - [c64]Ioannis Lamprou, Russell Martin, Sven Schewe, Ioannis Sigalas, Vassilis Zissimopoulos:
Maximum Rooted Connected Expansion. MFCS 2018: 25:1-25:14 - [c63]Paul Gainer, Ernst Moritz Hahn, Sven Schewe:
Incremental Verification of Parametric and Reconfigurable Markov Chains. QEST 2018: 140-156 - [c62]Yong Li, Andrea Turrini, Lijun Zhang, Sven Schewe:
Learning to Complement Büchi Automata. VMCAI 2018: 313-335 - [e3]Sven Schewe, Lijun Zhang:
29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China. LIPIcs 118, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-087-3 [contents] - [i27]Paul Gainer, Ernst Moritz Hahn, Sven Schewe:
Incremental Verification of Parametric and Reconfigurable Markov Chains. CoRR abs/1804.01872 (2018) - [i26]Sven Schewe, Alexander Weinert, Martin Zimmermann:
Parity Games with Weights. CoRR abs/1804.06168 (2018) - [i25]Paul Gainer, Ernst Moritz Hahn, Sven Schewe:
Accelerated Model Checking of Parametric Markov Chains. CoRR abs/1805.05672 (2018) - [i24]Ioannis Lamprou, Russell Martin, Sven Schewe, Ioannis Sigalas, Vassilis Zissimopoulos:
Maximum Rooted Connected Expansion. CoRR abs/1806.09549 (2018) - [i23]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Objectives in Model-Free Reinforcement Learning. CoRR abs/1810.00950 (2018) - 2017
- [j19]Chung-Hao Huang, Sven Schewe, Farn Wang:
Model-checking iterated games. Acta Informatica 54(7): 625-654 (2017) - [j18]Sven Schewe:
Solving parity games in big steps. J. Comput. Syst. Sci. 84: 243-262 (2017) - [c61]Ioannis Lamprou, Russell Martin, Sven Schewe:
Perpetually Dominating Large Grids. CIAC 2017: 393-404 - [c60]Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak:
Optimal Control for Multi-mode Systems with Discrete Costs. FORMATS 2017: 77-96 - [c59]Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak:
MDPs with energy-parity objectives. LICS 2017: 1-12 - [c58]Idress Husien, Sven Schewe, Nicolas Berthier:
PranCS: A Protocol and Discrete Controller Synthesis Tool. SETTA 2017: 337-349 - [c57]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: 112-121 - [c56]Idress Husien, Nicolas Berthier, Sven Schewe:
A hot method for synthesising cool controllers. SPIN 2017: 122-131 - [c55]Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang:
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. VMCAI 2017: 266-287 - [c54]Roderick Bloem, Sven Schewe, Ayrat Khalimov:
CTL* synthesis via LTL synthesis. SYNT@CAV 2017: 4-22 - [e2]Sven Schewe, Thomas Schneider, Jef Wijsen:
24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium. LIPIcs 90, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-052-1 [contents] - [i22]Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak:
MDPs with Energy-Parity Objectives. CoRR abs/1701.02546 (2017) - [i21]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 abs/1703.01296 (2017) - [i20]Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak:
Optimal Control for Multi-Mode Systems with Discrete Costs. CoRR abs/1706.09886 (2017) - 2016
- [j17]John Fearnley, Markus N. Rabe, Sven Schewe, Lijun Zhang:
Efficient approximation of optimal control for continuous-time Markov games. Inf. Comput. 247: 106-129 (2016) - [j16]Anca Muscholl, Sven Schewe:
Controlling loosely cooperating processes. Theor. Comput. Sci. 611: 136-141 (2016) - [j15]Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang:
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors. IEEE Trans. Software Eng. 42(7): 605-622 (2016) - [c53]Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang:
A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. CAV (2) 2016: 291-311 - [c52]Idress Husien, Sven Schewe:
Program Generation Using Simulated Annealing and Model Checking. SEFM 2016: 155-171 - [c51]Anshul Gupta, Sven Schewe, Ashutosh Trivedi, Sai Krishna Deepak Maram, Bharath Kumar Padarthi:
Incentive Stackelberg Mean-Payoff Games. SEFM 2016: 304-320 - [c50]Frantisek Blahoudek, Matthias Heizmann, Sven Schewe, Jan Strejcek, Ming-Hsien Tsai:
Complementing Semi-deterministic Büchi Automata. TACAS 2016: 770-787 - [c49]Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak:
Optimal Control for Simple Linear Hybrid Systems. TIME 2016: 12-20 - [c48]Ioannis Lamprou, Russell Martin, Sven Schewe:
Fast Two-Robot Disk Evacuation with Wireless Communication. DISC 2016: 1-15 - [i19]Ioannis Lamprou, Russell Martin, Sven Schewe:
Fast Two-Robot Disk Evacuation with Wireless Communication. CoRR abs/1604.04217 (2016) - [i18]Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang:
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. CoRR abs/1607.01474 (2016) - [i17]Ioannis Lamprou, Russell Martin, Sven Schewe:
Perpetually Dominating Large Grids. CoRR abs/1611.08204 (2016) - 2015
- [j14]John Fearnley, Doron A. Peled, Sven Schewe:
Synthesis of succinct systems. J. Comput. Syst. Sci. 81(7): 1171-1193 (2015) - [j13]Farn Wang, Sven Schewe, Jung-Hsuan Wu:
Complexity of node coverage games. Theor. Comput. Sci. 576: 45-60 (2015) - [j12]Farn Wang, Sven Schewe, Chung-Hao Huang:
An Extension of ATL with Strategy Interaction. ACM Trans. Program. Lang. Syst. 37(3): 9:1-9:41 (2015) - [c47]Anshul Gupta, Sven Schewe:
It Pays to Pay in Bi-Matrix Games: a Rational Explanation for Bribery. AAMAS 2015: 1361-1369 - [c46]Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang:
Lazy Probabilistic Model Checking without Determinisation. CONCUR 2015: 354-367 - [c45]Blaise Genest, Doron A. Peled, Sven Schewe:
Knowledge = Observation + Memory + Computation. FoSSaCS 2015: 215-229 - [c44]Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi:
Bounded-rate multi-mode systems based motion planning. HSCC 2015: 41-50 - [c43]Sven Schewe, Ashutosh Trivedi, Thomas Varghese:
Symmetric Strategy Improvement. ICALP (2) 2015: 388-400 - [c42]Alon Brook, Doron A. Peled, Sven Schewe:
Local and global fairness in concurrent systems. MEMOCODE 2015: 2-9 - [c41]Anshul Gupta, Sven Schewe, Dominik Wojtczak:
Making the Best of Limited Memory in Multi-Player Discounted Sum Games. GandALF 2015: 16-30 - [i16]Sven Schewe, Ashutosh Trivedi, Thomas Varghese:
Symmetric Strategy Improvement. CoRR abs/1501.06484 (2015) - [i15]Anshul Gupta, Sai Krishna Deepak Maram, Bharath Kumar Padarthi, Sven Schewe, Ashutosh Trivedi:
Incentive Stackelberg Mean-payoff Games. CoRR abs/1511.00188 (2015) - 2014
- [j11]Doron A. Peled, Sven Schewe:
Editorial: special issue on synthesis. Acta Informatica 51(3-4): 127-128 (2014) - [j10]Sven Schewe:
Distributed synthesis is simply undecidable. Inf. Process. Lett. 114(4): 203-207 (2014) - [c40]Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang:
iscasMc: A Web-Based Probabilistic Model Checker. FM 2014: 312-317 - [c39]Sven Schewe, Thomas Varghese:
Determinising Parity Automata. MFCS (1) 2014: 486-498 - [c38]Sven Schewe, Thomas Varghese:
Tight Bounds for Complementing Parity Automata. MFCS (1) 2014: 499-510 - [c37]Anshul Gupta, Sven Schewe:
Quantitative Verification in Rational Environments. TIME 2014: 123-131 - [p2]Doron A. Peled, Sven Schewe:
Distributed Control Synthesis. HOWARD-60 2014: 271-288 - [i14]Sven Schewe, Thomas Varghese:
Determinising Parity Automata. CoRR abs/1401.5394 (2014) - [i13]Sven Schewe, Thomas Varghese:
Tight Bounds for Complementing Parity Automata. CoRR abs/1406.1090 (2014) - [i12]Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi:
Bounded-Rate Multi-Mode Systems Based Motion Planning. CoRR abs/1412.3670 (2014) - 2013
- [j9]John Fearnley, Sven Schewe:
Time and Space Results for Parity Games with Bounded Treewidth. Log. Methods Comput. Sci. 9(2) (2013) - [j8]Bernd Finkbeiner, Sven Schewe:
Bounded synthesis. Int. J. Softw. Tools Technol. Transf. 15(5-6): 519-539 (2013) - [j7]Markus N. Rabe, Sven Schewe:
Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games. Theor. Comput. Sci. 467: 53-67 (2013) - [j6]Savas Konur, Michael Fisher, Sven Schewe:
Combined model checking for temporal, probabilistic, and real-time logics. Theor. Comput. Sci. 503: 61-88 (2013) - [c36]Nadeschda Nikitina, Sven Schewe:
More is Sometimes Less: Succinctness in EL. Description Logics 2013: 403-414 - [c35]Thomas Brihaye, Julie De Pril, Sven Schewe:
Multiplayer Cost Games with Simple Nash Equilibria. LFCS 2013: 59-73 - [c34]Anca Muscholl, Sven Schewe:
Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge. MFCS 2013: 691-703 - [c33]Nadeschda Nikitina, Sven Schewe:
Simplifying Description Logic Ontologies. ISWC (1) 2013: 411-426 - [c32]Chung-Hao Huang, Sven Schewe, Farn Wang:
Model-Checking Iterated Games. TACAS 2013: 154-168 - [i11]Anshul Gupta, Sven Schewe:
The benefit of law-making power. CoRR abs/1307.2051 (2013) - [i10]Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Lijun Zhang:
Lazy Determinisation for Quantitative Model Checking. CoRR abs/1311.2928 (2013) - [i9]Farn Wang, Jung-Hsuan Wu, Sven Schewe, Chung-Hao Huang:
Coverage Games for Testing Nondeterministic Systems. CoRR abs/1312.6201 (2013) - 2012
- [c31]Sven Schewe, Thomas Varghese:
Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata. ATVA 2012: 42-56 - [c30]John Fearnley, Doron A. Peled, Sven Schewe:
Synthesis of Succinct Systems. ATVA 2012: 208-222 - [c29]Nathalie Bertrand, John Fearnley, Sven Schewe:
Bounded Satisfiability for PCTL. CSL 2012: 92-106 - [c28]Nathalie Bertrand, Sven Schewe:
Playing Optimally on Timed Automata with Random Delays. FORMATS 2012: 43-58 - [c27]John Fearnley, Sven Schewe:
Time and Parallelizability Results for Parity Games with Bounded Treewidth. ICALP (2) 2012: 189-200 - [c26]Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang:
Rapid Recovery for Systems with Scarce Faults. GandALF 2012: 15-28 - [e1]Doron A. Peled, Sven Schewe:
Proceedings First Workshop on Synthesis, SYNT 2012, Berkeley, California, USA, 7th and 8th July 2012. EPTCS 84, 2012 [contents] - [i8]John Fearnley, Doron A. Peled, Sven Schewe:
Synthesis of Succinct Systems. CoRR abs/1202.5449 (2012) - [i7]Nathalie Bertrand, John Fearnley, Sven Schewe:
Bounded Satisfiability for PCTL. CoRR abs/1204.0469 (2012) - [i6]Thomas Brihaye, Julie De Pril, Sven Schewe:
Multiplayer Cost Games with Simple Nash Equilibria. CoRR abs/1210.3548 (2012) - 2011
- [j5]Markus N. Rabe, Sven Schewe:
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games. Acta Informatica 48(5-6): 291-315 (2011) - [c25]Gal Katz, Doron A. Peled, Sven Schewe:
The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. ATVA 2011: 422-431 - [c24]Gal Katz, Doron A. Peled, Sven Schewe:
Synthesis of Distributed Control through Knowledge Accumulation. CAV 2011: 510-525 - [c23]John Fearnley, Markus N. Rabe, Sven Schewe, Lijun Zhang:
Efficient Approximation of Optimal Control for Continuous-Time Markov Games. FSTTCS 2011: 399-410 - [c22]Sven Schewe, Cong Tian:
Synthesising Classic and Interval Temporal Logic. TIME 2011: 64-71 - [c21]Doron A. Peled, Sven Schewe:
Practical Distributed Control Synthesis. INFINITY 2011: 2-17 - 2010
- [j4]Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe:
Synthesising certificates in networks of timed automata. IET Softw. 4(3): 222-235 (2010) - [j3]Sven Schewe:
Synthese Verteilter Systeme (Synthesis of Distributed Systems). it Inf. Technol. 52(2): 120-124 (2010) - [c20]Bernd Finkbeiner, Sven Schewe:
Coordination Logic. CSL 2010: 305-319 - [c19]Sven Schewe:
Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete. FSTTCS 2010: 400-411 - [c18]Markus N. Rabe, Sven Schewe:
Optimal Time-Abstract Schedulers for CTMDPs and Markov Games. QAPL 2010: 144-158 - [i5]Markus N. Rabe, Sven Schewe:
Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games. CoRR abs/1004.4005 (2010) - [i4]Sven Schewe:
Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata. CoRR abs/1007.1333 (2010) - [i3]Markus N. Rabe, Sven Schewe, Lijun Zhang:
Efficient Approximation of Optimal Control for Markov Games. CoRR abs/1011.0397 (2010)
2000 – 2009
- 2009
- [j2]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:
Towards the Verification of Pervasive Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009) - [c17]Sven Schewe:
Tighter Bounds for the Determinisation of Büchi Automata. FoSSaCS 2009: 167-181 - [c16]Sven Schewe:
From Parity and Payoff Games to Linear Programming. MFCS 2009: 675-686 - [c15]Sven Schewe:
Büchi Complementation Made Tight. STACS 2009: 661-672 - [i2]Sven Schewe:
Software Synthesis is Hard - and Simple. Software Synthesis 2009 - [i1]Sven Schewe:
Büchi complementation made tight. CoRR abs/0902.2152 (2009) - 2008
- [b1]Sven Schewe:
Synthesis of distributed systems. Saarland University, Saarbrücken, Germany, 2008, pp. I-IX - [c14]Sven Schewe:
An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games. CSL 2008: 369-384 - [c13]Sven Schewe:
ATL* Satisfiability Is 2EXPTIME-Complete. ICALP (2) 2008: 373-385 - [c12]Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe:
Synthesizing Certificates in Networks of Timed Automata. RTSS 2008: 183-194 - [c11]Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe:
RESY: Requirement Synthesis for Compositional Model Checking. TACAS 2008: 463-466 - [p1]Sven Schewe:
Synthese Verteilter Systeme [Synthesis of Distributed Systems]. Ausgezeichnete Informatikdissertationen 2008: 251-260 - 2007
- [j1]Sven Schewe, Bernd Finkbeiner:
Semi-automatic Distributed Synthesis. Int. J. Found. Comput. Sci. 18(1): 113-138 (2007) - [c10]Sven Schewe, Bernd Finkbeiner:
Distributed Synthesis for Alternating-Time Logics. ATVA 2007: 268-283 - [c9]Sven Schewe, Bernd Finkbeiner:
Bounded Synthesis. ATVA 2007: 474-488 - [c8]Sven Schewe:
Solving Parity Games in Big Steps. FSTTCS 2007: 449-460 - 2006
- [c7]Malte Helmert, Robert Mattmüller, Sven Schewe:
Selective Approaches for Solving Weak Games. ATVA 2006: 200-214 - [c6]Sven Schewe:
Synthesis for Probabilistic Environments. ATVA 2006: 245-259 - [c5]Sven Schewe, Bernd Finkbeiner:
Satisfiability and Finite Model Property for the Alternating-Time mu-Calculus. CSL 2006: 591-605 - [c4]Bernd Finkbeiner, Sven Schewe, Matthias Brill:
Automatic Synthesis of Assumptions for Compositional Model Checking. FORTE 2006: 143-158 - [c3]Sven Schewe, Bernd Finkbeiner:
Synthesis of Asynchronous Systems. LOPSTR 2006: 127-142 - 2005
- [c2]Bernd Finkbeiner, Sven Schewe:
Semi-automatic Distributed Synthesis. ATVA 2005: 263-277 - [c1]Bernd Finkbeiner, Sven Schewe:
Uniform Distributed Synthesis. LICS 2005: 321-330
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-17 00:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
