Stop the war!Остановите войну!
for scientists:
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
- 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) - [c93]Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova:
Deciding What Is Good-For-MDPs. CONCUR 2023: 35:1-35:16 - [c92]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 - [c91]Nouf Al-Juaid, Alexei Lisitsa, Sven Schewe:
Secure Joint Querying Over Federated Graph Databases Utilising SMPC Protocols. ICISSP 2023: 210-217 - [c90]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 - [i53]Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke:
History-deterministic Timed Automata. CoRR abs/2304.03183 (2023) - [i52]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) - [i51]Yong Li, Sven Schewe, Qiyi Tang:
A novel family of finite automata for recognizing and learning ω-regular languages. CoRR abs/2307.07490 (2023) - [i50]Sven Schewe, Qiyi Tang:
On the Succinctness of Good-for-MDPs Automata. CoRR abs/2307.11483 (2023) - [i49]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Reward Machines. CoRR abs/2308.07469 (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 - [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]