
Sven Schewe
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [i33]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) - 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
:
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) - [c67]Paul Gainer, Ernst Moritz Hahn
, Sven Schewe
:
Accelerated Model Checking of Parametric Markov Chains. ATVA 2018: 300-316 - [c66]Sven Schewe
, Alexander Weinert
, Martin Zimmermann
:
Parity Games with Weights. CSL 2018: 36:1-36:17 - [c65]Ioannis Lamprou, Russell Martin, Sven Schewe
, Ioannis Sigalas, Vassilis Zissimopoulos:
Maximum Rooted Connected Expansion. MFCS 2018: 25:1-25:14 - [c64]Paul Gainer, Ernst Moritz Hahn
, Sven Schewe
:
Incremental Verification of Parametric and Reconfigurable Markov Chains. QEST 2018: 140-156 - [c63]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) - [c62]Ioannis Lamprou
, Russell Martin, Sven Schewe
:
Perpetually Dominating Large Grids. CIAC 2017: 393-404 - [c61]Mahmoud A. A. Mousa, Sven Schewe
, Dominik Wojtczak
:
Optimal Control for Multi-mode Systems with Discrete Costs. FORMATS 2017: 77-96 - [c60]Richard Mayr, Sven Schewe
, Patrick Totzke, Dominik Wojtczak
:
MDPs with energy-parity objectives. LICS 2017: 1-12 - [c59]Idress Husien, Sven Schewe
, Nicolas Berthier
:
PranCS: A Protocol and Discrete Controller Synthesis Tool. SETTA 2017: 337-349 - [c58]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 - [c57]Idress Husien, Nicolas Berthier
, Sven Schewe
:
A hot method for synthesising cool controllers. SPIN 2017: 122-131 - [c56]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 - [c55]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) - [c54]Ernst Moritz Hahn, Sven Schewe
, Andrea Turrini, Lijun Zhang:
A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. CAV (2) 2016: 291-311 - [c53]Idress Husien, Sven Schewe
:
Program Generation Using Simulated Annealing and Model Checking. SEFM 2016: 155-171 - [c52]Anshul Gupta, Sven Schewe
, Ashutosh Trivedi, Maram Sai Krishna Deepak, Bharath Kumar Padarthi:
Incentive Stackelberg Mean-Payoff Games. SEFM 2016: 304-320 - [c51]Frantisek Blahoudek
, Matthias Heizmann
, Sven Schewe
, Jan Strejcek
, Ming-Hsien Tsai:
Complementing Semi-deterministic Büchi Automata. TACAS 2016: 770-787 - [c50]Mahmoud A. A. Mousa, Sven Schewe
, Dominik Wojtczak
:
Optimal Control for Simple Linear Hybrid Systems. TIME 2016: 12-20 - [c49]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) - [c48]Anshul Gupta, Sven Schewe:
It Pays to Pay in Bi-Matrix Games: a Rational Explanation for Bribery. AAMAS 2015: 1361-1369 - [c47]Ernst Moritz Hahn, Guangyuan Li, Sven Schewe
, Andrea Turrini, Lijun Zhang:
Lazy Probabilistic Model Checking without Determinisation. CONCUR 2015: 354-367 - [c46]Blaise Genest, Doron A. Peled, Sven Schewe
:
Knowledge = Observation + Memory + Computation. FoSSaCS 2015: 215-229 - [c45]Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe
, Ashutosh Trivedi
:
Bounded-rate multi-mode systems based motion planning. HSCC 2015: 41-50 - [c44]Sven Schewe
, Ashutosh Trivedi
, Thomas Varghese:
Symmetric Strategy Improvement. ICALP (2) 2015: 388-400 - [c43]Alon Brook, Doron A. Peled, Sven Schewe
:
Local and global fairness in concurrent systems. MEMOCODE 2015: 2-9 - [c42]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, M. S. Krishna Deepak, 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) - [c41]Ernst Moritz Hahn, Yi Li, Sven Schewe
, Andrea Turrini, Lijun Zhang:
iscasMc: A Web-Based Probabilistic Model Checker. FM 2014: 312-317 - [c40]Sven Schewe
, Thomas Varghese:
Determinising Parity Automata. MFCS (1) 2014: 486-498 - [c39]Sven Schewe
, Thomas Varghese:
Tight Bounds for Complementing Parity Automata. MFCS (1) 2014: 499-510 - [c38]Anshul Gupta, Sven Schewe
:
Quantitative Verification in Rational Environments. TIME 2014: 123-131 - [p1]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) - [c37]Nadeschda Nikitina, Sven Schewe:
More is Sometimes Less: Succinctness in EL. Description Logics 2013: 403-414 - [c36]Thomas Brihaye, Julie De Pril, Sven Schewe
:
Multiplayer Cost Games with Simple Nash Equilibria. LFCS 2013: 59-73 - [c35]Anca Muscholl, Sven Schewe
:
Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge. MFCS 2013: 691-703 - [c34]Nadeschda Nikitina, Sven Schewe
:
Simplifying Description Logic Ontologies. International Semantic Web Conference (1) 2013: 411-426 - [c33]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
- [c32]Sven Schewe
, Thomas Varghese:
Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata. ATVA 2012: 42-56 - [c31]John Fearnley, Doron A. Peled, Sven Schewe
:
Synthesis of Succinct Systems. ATVA 2012: 208-222 - [c30]Nathalie Bertrand
, John Fearnley, Sven Schewe
:
Bounded Satisfiability for PCTL. CSL 2012: 92-106 - [c29]Nathalie Bertrand
, Sven Schewe
:
Playing Optimally on Timed Automata with Random Delays. FORMATS 2012: 43-58 - [c28]John Fearnley, Sven Schewe
:
Time and Parallelizability Results for Parity Games with Bounded Treewidth. ICALP (2) 2012: 189-200 - [c27]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) - [c26]Gal Katz, Doron A. Peled, Sven Schewe
:
The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. ATVA 2011: 422-431 - [c25]Gal Katz, Doron A. Peled, Sven Schewe
:
Synthesis of Distributed Control through Knowledge Accumulation. CAV 2011: 510-525 - [c24]John Fearnley, Markus N. Rabe, Sven Schewe
, Lijun Zhang:
Efficient Approximation of Optimal Control for Continuous-Time Markov Games. FSTTCS 2011: 399-410 - [c23]Sven Schewe
, Cong Tian:
Synthesising Classic and Interval Temporal Logic. TIME 2011: 64-71 - [c22]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) - [c21]Bernd Finkbeiner, Sven Schewe
:
Coordination Logic. CSL 2010: 305-319 - [c20]Sven Schewe
:
Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete. FSTTCS 2010: 400-411 - [c19]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) - [c18]Sven Schewe
:
Tighter Bounds for the Determinisation of Büchi Automata. FoSSaCS 2009: 167-181 - [c17]Sven Schewe
:
From Parity and Payoff Games to Linear Programming. MFCS 2009: 675-686 - [c16]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 - [c15]Sven Schewe
:
An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games. CSL 2008: 369-384 - [c14]Sven Schewe:
Synthesis of Distributed Systems. Ausgezeichnete Informatikdissertationen 2008: 251-260 - [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 - 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]