Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Sven Schewe
2010 – today
- 2013
[j8]- [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]
- [i9]
- 2012
- [c32]Sven Schewe, Thomas Varghese: Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata. ATVA 2012: 42-56
- [c31]
- [c30]
- [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 Peled, Sven Schewe, Farn Wang: Rapid Recovery for Systems with Scarce Faults. GandALF 2012: 15-28
- [e1]
- [i8]
- [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 Inf. 48(5-6): 291-315 (2011)
- [c26]Gal Katz, Doron Peled, Sven Schewe: The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. ATVA 2011: 422-431
- [c25]Gal Katz, Doron Peled, Sven Schewe: Synthesis of Distributed Control through Knowledge Accumulation. CAV 2011: 510-525
- [c24]John Fearnley, Markus Rabe, Sven Schewe, Lijun Zhang: Efficient Approximation of Optimal Control for Continuous-Time Markov Games. FSTTCS 2011: 399-410
- [c23]
- [c22]
- [i5]John Fearnley, Sven Schewe: Time and Space Results for Parity Games with Bounded Treewidth. CoRR abs/1112.0221 (2011)
- 2010
- [j4]Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe: Synthesising certificates in networks of timed automata. IET Software 4(3): 222-235 (2010)
- [j3]Sven Schewe: Synthese Verteilter Systeme (Synthesis of Distributed Systems). it - Information Technology 52(2): 120-124 (2010)
- [c21]
- [c20]Sven Schewe: Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete. FSTTCS 2010: 400-411
- [c19]Markus Rabe, Sven Schewe: Optimal Time-Abstract Schedulers for CTMDPs and Markov Games. QAPL 2010: 144-158
- [i4]Markus Rabe, Sven Schewe: Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games. CoRR abs/1004.4005 (2010)
- [i3]Sven Schewe: Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata. CoRR abs/1007.1333 (2010)
- [i2]Markus 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. ECEASST 22 (2009)
- [c18]
- [c17]
- [c16]
- [i1]
- 2008
- [b1]Sven Schewe: Synthesis of distributed systems. Universität Saarbrücken 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]
- [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]
- [c8]
- 2006
- [c7]Malte Helmert, Robert Mattmüller, Sven Schewe: Selective Approaches for Solving Weak Games. ATVA 2006: 200-214
- [c6]
- [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]
- 2005
- [c2]
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17 21:26 CEST by the dblp team