×

zbMATH — the first resource for mathematics

Schewe, Sven

Compute Distance To:
Author ID: schewe.sven Recent zbMATH articles by "Schewe, Sven"
Published as: Schewe, Sven
External Links: MGP
Documents Indexed: 67 Publications since 2005, including 2 Books

Publications by Year

Citations contained in zbMATH Open

37 Publications have been cited 229 times in 154 Documents Cited by Year
Bounded synthesis. Zbl 1141.68491
Schewe, Sven; Finkbeiner, Bernd
30
2007
Solving parity games in big steps. Zbl 1135.68480
Schewe, Sven
29
2007
Semi-automatic distributed synthesis. Zbl 1170.68539
Finkbeiner, Bernd; Schewe, Sven
17
2005
An optimal strategy improvement algorithm for solving parity and payoff games. Zbl 1156.68478
Schewe, Sven
16
2008
Tighter bounds for the determinisation of Büchi automata. Zbl 1234.68239
Schewe, Sven
15
2009
Synthesis of asynchronous systems. Zbl 1196.68142
Schewe, Sven; Finkbeiner, Bernd
13
2007
Büchi complementation made tight. Zbl 1236.68176
Schewe, Sven
11
2009
ATL\(^*\) satisfiability is 2EXPTIME-complete. Zbl 1155.68447
Schewe, Sven
10
2008
Satisfiability and finite model property for the alternating-time \(\mu \)-calculus. Zbl 1225.68124
Schewe, Sven; Finkbeiner, Bernd
9
2006
Coordination logic. Zbl 1287.03070
Finkbeiner, Bernd; Schewe, Sven
8
2010
From parity and payoff games to linear programming. Zbl 1250.68131
Schewe, Sven
7
2009
Beyond hyper-minimisation – minimising DBAs and DPAs is NP-complete. Zbl 1245.68096
Schewe, Sven
6
2010
Symmetric strategy improvement. Zbl 1440.91005
Schewe, Sven; Trivedi, Ashutosh; Varghese, Thomas
5
2015
Multiplayer cost games with simple Nash equilibria. Zbl 1422.91043
Brihaye, Thomas; De Pril, Julie; Schewe, Sven
5
2013
Fast two-robot disk evacuation with wireless communication. Zbl 1393.68166
Lamprou, Ioannis; Martin, Russell; Schewe, Sven
4
2016
Time and parallelizability results for parity games with bounded treewidth. Zbl 1367.68108
Fearnley, John; Schewe, Sven
4
2012
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games. Zbl 1242.91016
Rabe, Markus N.; Schewe, Sven
4
2011
Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games. Zbl 1261.90087
Rabe, Markus N.; Schewe, Sven
4
2013
Lazy probabilistic model checking without determinisation. Zbl 1374.68290
Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
3
2015
Solving parity games in big steps. Zbl 1353.68180
Schewe, Sven
3
2017
Efficient approximation of optimal control for continuous-time Markov games. Zbl 1337.91015
Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun
3
2016
Eternally dominating large grids. Zbl 1433.05225
Lamprou, Ioannis; Martin, Russell; Schewe, Sven
3
2019
Model-checking iterated games. Zbl 1381.68167
Huang, Chung-Hao; Schewe, Sven; Wang, Farn
2
2013
Combined model checking for temporal, probabilistic, and real-time logics. Zbl 1360.68591
Konur, Savas; Fisher, Michael; Schewe, Sven
2
2013
Determinising parity automata. Zbl 1425.68229
Schewe, Sven; Varghese, Thomas
2
2014
Automatic synthesis of assumptions for compositional model checking. Zbl 1225.68115
Finkbeiner, Bernd; Schewe, Sven; Brill, Matthias
2
2006
Perpetually dominating large grids. Zbl 06751078
Lamprou, Ioannis; Martin, Russell; Schewe, Sven
2
2017
Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games. Zbl 06687361
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
1
2017
Selective approaches for solving weak games. Zbl 1161.68569
Helmert, Malte; Mattmüller, Robert; Schewe, Sven
1
2006
Distributed synthesis for alternating-time logics. Zbl 1141.68516
Schewe, Sven; Finkbeiner, Bernd
1
2007
Complementing semi-deterministic Büchi automata. Zbl 1420.68106
Blahoudek, František; Heizmann, Matthias; Schewe, Sven; Strejček, Jan; Tsai, Ming-Hsien
1
2016
Efficient approximation of optimal control for continuous-time Markov games. Zbl 1246.68165
Fearnley, John; Rabe, Markus; Schewe, Sven; Zhang, Lijun
1
2011
Tight bounds for the determinisation and complementation of generalised Büchi automata. Zbl 1374.68265
Schewe, Sven; Varghese, Thomas
1
2012
Synthesis of succinct systems. Zbl 1374.68282
Fearnley, John; Peled, Doron; Schewe, Sven
1
2012
Bounded satisfiability for PCTL. Zbl 1252.68189
Bertrand, Nathalie; Fearnley, John; Schewe, Sven
1
2012
Distributed synthesis is simply undecidable. Zbl 1358.68196
Schewe, Sven
1
2014
Time and parallelizability results for parity games with bounded tree and DAG width. Zbl 1266.68123
Fearnley, John; Schewe, Sven
1
2013
Eternally dominating large grids. Zbl 1433.05225
Lamprou, Ioannis; Martin, Russell; Schewe, Sven
3
2019
Solving parity games in big steps. Zbl 1353.68180
Schewe, Sven
3
2017
Perpetually dominating large grids. Zbl 06751078
Lamprou, Ioannis; Martin, Russell; Schewe, Sven
2
2017
Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games. Zbl 06687361
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
1
2017
Fast two-robot disk evacuation with wireless communication. Zbl 1393.68166
Lamprou, Ioannis; Martin, Russell; Schewe, Sven
4
2016
Efficient approximation of optimal control for continuous-time Markov games. Zbl 1337.91015
Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun
3
2016
Complementing semi-deterministic Büchi automata. Zbl 1420.68106
Blahoudek, František; Heizmann, Matthias; Schewe, Sven; Strejček, Jan; Tsai, Ming-Hsien
1
2016
Symmetric strategy improvement. Zbl 1440.91005
Schewe, Sven; Trivedi, Ashutosh; Varghese, Thomas
5
2015
Lazy probabilistic model checking without determinisation. Zbl 1374.68290
Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
3
2015
Determinising parity automata. Zbl 1425.68229
Schewe, Sven; Varghese, Thomas
2
2014
Distributed synthesis is simply undecidable. Zbl 1358.68196
Schewe, Sven
1
2014
Multiplayer cost games with simple Nash equilibria. Zbl 1422.91043
Brihaye, Thomas; De Pril, Julie; Schewe, Sven
5
2013
Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games. Zbl 1261.90087
Rabe, Markus N.; Schewe, Sven
4
2013
Model-checking iterated games. Zbl 1381.68167
Huang, Chung-Hao; Schewe, Sven; Wang, Farn
2
2013
Combined model checking for temporal, probabilistic, and real-time logics. Zbl 1360.68591
Konur, Savas; Fisher, Michael; Schewe, Sven
2
2013
Time and parallelizability results for parity games with bounded tree and DAG width. Zbl 1266.68123
Fearnley, John; Schewe, Sven
1
2013
Time and parallelizability results for parity games with bounded treewidth. Zbl 1367.68108
Fearnley, John; Schewe, Sven
4
2012
Tight bounds for the determinisation and complementation of generalised Büchi automata. Zbl 1374.68265
Schewe, Sven; Varghese, Thomas
1
2012
Synthesis of succinct systems. Zbl 1374.68282
Fearnley, John; Peled, Doron; Schewe, Sven
1
2012
Bounded satisfiability for PCTL. Zbl 1252.68189
Bertrand, Nathalie; Fearnley, John; Schewe, Sven
1
2012
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games. Zbl 1242.91016
Rabe, Markus N.; Schewe, Sven
4
2011
Efficient approximation of optimal control for continuous-time Markov games. Zbl 1246.68165
Fearnley, John; Rabe, Markus; Schewe, Sven; Zhang, Lijun
1
2011
Coordination logic. Zbl 1287.03070
Finkbeiner, Bernd; Schewe, Sven
8
2010
Beyond hyper-minimisation – minimising DBAs and DPAs is NP-complete. Zbl 1245.68096
Schewe, Sven
6
2010
Tighter bounds for the determinisation of Büchi automata. Zbl 1234.68239
Schewe, Sven
15
2009
Büchi complementation made tight. Zbl 1236.68176
Schewe, Sven
11
2009
From parity and payoff games to linear programming. Zbl 1250.68131
Schewe, Sven
7
2009
An optimal strategy improvement algorithm for solving parity and payoff games. Zbl 1156.68478
Schewe, Sven
16
2008
ATL\(^*\) satisfiability is 2EXPTIME-complete. Zbl 1155.68447
Schewe, Sven
10
2008
Bounded synthesis. Zbl 1141.68491
Schewe, Sven; Finkbeiner, Bernd
30
2007
Solving parity games in big steps. Zbl 1135.68480
Schewe, Sven
29
2007
Synthesis of asynchronous systems. Zbl 1196.68142
Schewe, Sven; Finkbeiner, Bernd
13
2007
Distributed synthesis for alternating-time logics. Zbl 1141.68516
Schewe, Sven; Finkbeiner, Bernd
1
2007
Satisfiability and finite model property for the alternating-time \(\mu \)-calculus. Zbl 1225.68124
Schewe, Sven; Finkbeiner, Bernd
9
2006
Automatic synthesis of assumptions for compositional model checking. Zbl 1225.68115
Finkbeiner, Bernd; Schewe, Sven; Brill, Matthias
2
2006
Selective approaches for solving weak games. Zbl 1161.68569
Helmert, Malte; Mattmüller, Robert; Schewe, Sven
1
2006
Semi-automatic distributed synthesis. Zbl 1170.68539
Finkbeiner, Bernd; Schewe, Sven
17
2005
all top 5

Cited by 294 Authors

12 Schewe, Sven
8 Finkbeiner, Bernd
8 Zimmermann, Martín G.
6 Murano, Aniello
6 Perelli, Giuseppe
5 Friedmann, Oliver
5 Kupferman, Orna
5 Raskin, Jean-François
4 Bloem, Roderick
4 Chatterjee, Krishnendu
4 Gutierrez, Julian
4 Jobstmann, Barbara
4 Křetínský, Jan
4 Mc Inerney, Fionn
4 Mogavero, Fabio
4 Tentrup, Leander
4 Vardi, Moshe Y.
4 Wooldridge, Michael J.
3 Benerecetti, Massimo
3 Berwanger, Dietmar
3 Brihaye, Thomas
3 Dell’Erba, Daniele
3 Ehlers, Rüdiger
3 Fearnley, John
3 Filiot, Emmanuel
3 Georgiou, Konstantinos
3 Hahn, Ernst Moritz
3 Kranakis, Evangelos Konstantinou
3 Lange, Martin
3 Muscholl, Anca
3 Nisse, Nicolas
3 Pérennes, Stéphane
3 Rabe, Markus N.
3 Willemse, Tim A. C.
2 Almagor, Shaull
2 Angluin, Dana
2 Baier, Christel
2 Boker, Udi
2 Bonakdarpour, Borzoo
2 Boros, Endre
2 Bruyère, Véronique
2 Cohen, Nathann
2 Czyzowicz, Jurek
2 David, Amélie
2 Di Stasio, Antonio
2 Dimitrova, Rayna
2 Doyen, Laurent
2 Elbassioni, Khaled M.
2 Esparza, Javier
2 Faymonville, Peter
2 Fisman, Dana
2 Fogarty, Seth J.
2 Gastin, Paul
2 Gentilini, Raffaella
2 Goeminne, Aline
2 Gurvich, Vladimir A.
2 Harrenstein, Paul
2 Héam, Pierre-Cyrille
2 Jacobs, Swen
2 Killick, Ryan
2 Klein, Felix
2 Krizanc, Danny
2 Liu, Wanwei
2 Makino, Kazuhisa
2 Maletti, Andreas
2 Mathew, Anup Basil
2 Meggendorfer, Tobias
2 Narayanan, Lata
2 Nicaud, Cyril
2 Piterman, Nir
2 Pnueli, Amir
2 Rabinovich, Roman
2 Rubin, Sasha
2 Schmitz, Sylvain
2 Sickert, Salomon
2 Sorrentino, Loredana
2 Sznajder, Nathalie
2 Topcu, Ufuk
2 Torfah, Hazem
2 Trivedi, Ashutosh
2 Tsai, Ming-Hsien
2 Tsay, Yih-Kuen
2 Turrini, Andrea
2 van den Bogaard, Marie
2 Wang, Ji
2 Zhang, Lijun
1 Alechina, Natasha
1 Allamigeon, Xavier
1 Alur, Rajeev
1 Attie, Paul C.
1 Baghoolizadeh, Shirin
1 Bakera, Marco
1 Belardinelli, Francesco
1 Benchimol, Pascal
1 Bernet, Julien
1 Blahoudek, František
1 Bonato, Anthony
1 Bozzelli, Laura
1 Bradfield, Julian Charles
1 Brandt, Sebastian F.
...and 194 more Authors

Citations by Year