| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nathalie Bertrand, John Fearnley, Sven Schewe |
Bounded Satisfiability for PCTL  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | John Fearnley, Doron Peled, Sven Schewe |
Synthesis of Succinct Systems |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Markus N. Rabe, Sven Schewe |
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games. |
Acta Inf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled, Sven Schewe |
Practical Distributed Control Synthesis |
INFINITY |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Fearnley, Sven Schewe |
Time and Space Results for Parity Games with Bounded Treewidth |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sven Schewe, Cong Tian |
Synthesising Classic and Interval Temporal Logic. |
TIME |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gal Katz, Doron Peled, Sven Schewe |
The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gal Katz, Doron Peled, Sven Schewe |
Synthesis of Distributed Control through Knowledge Accumulation. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Fearnley, Markus Rabe 0002, Sven Schewe, Lijun Zhang |
Efficient Approximation of Optimal Control for Continuous-Time Markov Games. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe |
Synthesising certificates in networks of timed automata. |
IET Software |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Rabe 0002, Sven Schewe |
Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Markus Rabe 0002, Sven Schewe |
Optimal Time-Abstract Schedulers for CTMDPs and Markov Games |
QAPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schewe |
Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Markus Rabe 0002, Sven Schewe, Lijun Zhang |
Efficient Approximation of Optimal Control for Markov Games |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sven Schewe |
Synthese Verteilter Systeme (Synthesis of Distributed Systems). |
it - Information Technology |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Sven Schewe |
Coordination Logic. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schewe |
Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sven Schewe |
Büchi complementation made tight |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sven Schewe |
From Parity and Payoff Games to Linear Programming. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schewe |
Büchi Complementation Made Tight. |
STACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schewe |
Tighter Bounds for the Determinisation of Büchi Automata. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schewe |
Synthesis of distributed systems. |
|
2008 |
RDF |
|
| 1 | Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe |
RESY: Requirement Synthesis for Compositional Model Checking. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schewe |
ATL* Satisfiability Is 2EXPTIME-Complete. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe |
Synthesizing Certificates in Networks of Timed Automata. |
IEEE Real-Time Systems Symposium |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schewe |
Synthesis of Distributed Systems. |
Ausgezeichnete Informatikdissertationen |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sven Schewe |
An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schewe, Bernd Finkbeiner |
Semi-automatic Distributed Synthesis. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schewe, Bernd Finkbeiner |
Distributed Synthesis for Alternating-Time Logics. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schewe, Bernd Finkbeiner |
Bounded Synthesis. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schewe |
Solving Parity Games in Big Steps. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Sven Schewe, Matthias Brill |
Automatic Synthesis of Assumptions for Compositional Model Checking. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Malte Helmert, Robert Mattmüller, Sven Schewe |
Selective Approaches for Solving Weak Games. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schewe |
Synthesis for Probabilistic Environments. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schewe, Bernd Finkbeiner |
Synthesis of Asynchronous Systems. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schewe, Bernd Finkbeiner |
Satisfiability and Finite Model Property for the Alternating-Time mu-Calculus. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Sven Schewe |
Semi-automatic Distributed Synthesis. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Sven Schewe |
Uniform Distributed Synthesis. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")