×
Author ID: schewe.sven Recent zbMATH articles by "Schewe, Sven"
Published as: Schewe, Sven
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

57 Publications have been cited 442 times in 287 Documents Cited by Year
Bounded synthesis. Zbl 1141.68491
Schewe, Sven; Finkbeiner, Bernd
44
2007
Solving parity games in big steps. Zbl 1135.68480
Schewe, Sven
39
2007
An optimal strategy improvement algorithm for solving parity and payoff games. Zbl 1156.68478
Schewe, Sven
25
2008
Semi-automatic distributed synthesis. Zbl 1170.68539
Finkbeiner, Bernd; Schewe, Sven
24
2005
Tighter bounds for the determinisation of Büchi automata. Zbl 1234.68239
Schewe, Sven
23
2009
Beyond hyper-minimisation – minimising DBAs and DPAs is NP-complete. Zbl 1245.68096
Schewe, Sven
20
2010
Büchi complementation made tight. Zbl 1236.68176
Schewe, Sven
20
2009
ATL\(^*\) satisfiability is 2EXPTIME-complete. Zbl 1155.68447
Schewe, Sven
18
2008
Synthesis of asynchronous systems. Zbl 1196.68142
Schewe, Sven; Finkbeiner, Bernd
15
2007
Satisfiability and finite model property for the alternating-time \(\mu \)-calculus. Zbl 1225.68124
Schewe, Sven; Finkbeiner, Bernd
14
2006
Lazy probabilistic model checking without determinisation. Zbl 1374.68290
Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
13
2015
Multiplayer cost games with simple Nash equilibria. Zbl 1422.91043
Brihaye, Thomas; De Pril, Julie; Schewe, Sven
10
2013
Solving parity games in big steps. Zbl 1353.68180
Schewe, Sven
10
2017
Complementing semi-deterministic Büchi automata. Zbl 1420.68106
Blahoudek, František; Heizmann, Matthias; Schewe, Sven; Strejček, Jan; Tsai, Ming-Hsien
10
2016
Coordination logic. Zbl 1287.03070
Finkbeiner, Bernd; Schewe, Sven
9
2010
Fast two-robot disk evacuation with wireless communication. Zbl 1393.68166
Lamprou, Ioannis; Martin, Russell; Schewe, Sven
9
2016
From parity and payoff games to linear programming. Zbl 1250.68131
Schewe, Sven
8
2009
Symmetric strategy improvement. Zbl 1440.91005
Schewe, Sven; Trivedi, Ashutosh; Varghese, Thomas
8
2015
Faithful and effective reward schemes for model-free reinforcement learning of omega-regular objectives. Zbl 1517.68331
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
8
2020
Good-for-MDPs automata for probabilistic analysis and reinforcement learning. Zbl 1507.68167
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
8
2020
Accelerated model checking of parametric Markov chains. Zbl 1517.68235
Gainer, Paul; Hahn, Ernst Moritz; Schewe, Sven
7
2018
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games. Zbl 1242.91016
Rabe, Markus N.; Schewe, Sven
6
2011
Determinising parity automata. Zbl 1425.68229
Schewe, Sven; Varghese, Thomas
6
2014
Eternally dominating large grids. Zbl 1433.05225
Lamprou, Ioannis; Martin, Russell; Schewe, Sven
6
2019
Omega-regular objectives in model-free reinforcement learning. Zbl 1527.68177
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
6
2019
Combined model checking for temporal, probabilistic, and real-time logics. Zbl 1360.68591
Konur, Savas; Fisher, Michael; Schewe, Sven
5
2013
Bounded satisfiability for PCTL. Zbl 1252.68189
Bertrand, Nathalie; Fearnley, John; Schewe, Sven
5
2012
Tight bounds for the determinisation and complementation of generalised Büchi automata. Zbl 1374.68265
Schewe, Sven; Varghese, Thomas
4
2012
Time and parallelizability results for parity games with bounded treewidth. Zbl 1367.68108
Fearnley, John; Schewe, Sven
4
2012
Model-free reinforcement learning for stochastic parity games. Zbl 07559477
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
4
2020
Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games. Zbl 1261.90087
Rabe, Markus N.; Schewe, Sven
4
2013
Distributed synthesis is simply undecidable. Zbl 1358.68196
Schewe, Sven
4
2014
Efficient approximation of optimal control for continuous-time Markov games. Zbl 1337.91015
Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun
3
2016
Parity games with weights. Zbl 1509.68105
Schewe, Sven; Weinert, Alexander; Zimmermann, Martin
3
2018
History-deterministic timed automata are not determinizable. Zbl 07714977
Bose, Sougata; Henzinger, Thomas A.; Lehtinen, Karoliina; Schewe, Sven; Totzke, Patrick
3
2022
A recursive approach to solving parity games in quasipolynomial time. Zbl 07471697
Lehtinen, Karoliina; Parys, Paweł; Schewe, Sven; Wojtczak, Dominik
3
2022
Simple stochastic games with almost-sure energy-parity objectives are in NP and conp. Zbl 07410437
Mayr, Richard; Schewe, Sven; Totzke, Patrick; Wojtczak, Dominik
3
2021
Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant. Zbl 07408660
Faraggi, Alon E.; Percival, Benjamin; Schewe, Sven; Wojtczak, Dominik
3
2021
Automatic synthesis of assumptions for compositional model checking. Zbl 1225.68115
Finkbeiner, Bernd; Schewe, Sven; Brill, Matthias
2
2006
Perpetually dominating large grids. Zbl 1490.05182
Lamprou, Ioannis; Martin, Russell; Schewe, Sven
2
2017
Time and parallelizability results for parity games with bounded tree and DAG width. Zbl 1266.68123
Fearnley, John; Schewe, Sven
2
2013
Selective approaches for solving weak games. Zbl 1161.68569
Helmert, Malte; Mattmüller, Robert; Schewe, Sven
2
2006
Making the best of limited memory in multi-player discounted sum games. Zbl 1479.91030
Gupta, Anshul; Schewe, Sven; Wojtczak, Dominik
2
2015
MDPs with energy-parity objectives. Zbl 1458.68069
Mayr, Richard; Schewe, Sven; Totzke, Patrick; Wojtczak, Dominik
2
2017
A simple algorithm for solving qualitative probabilistic parity games. Zbl 1411.68068
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
2
2016
Parity games with weights. Zbl 1509.68104
Schewe, Sven; Weinert, Alexander; Zimmermann, Martin
2
2019
Model-checking iterated games. Zbl 1381.68167
Huang, Chung-Hao; Schewe, Sven; Wang, Farn
2
2013
Semi-automatic distributed synthesis. Zbl 1112.68095
Schewe, Sven; Finkbeiner, Bernd
1
2007
Distributed synthesis for alternating-time logics. Zbl 1141.68516
Schewe, Sven; Finkbeiner, Bernd
1
2007
Efficient approximation of optimal control for continuous-time Markov games. Zbl 1246.68165
Fearnley, John; Rabe, Markus; Schewe, Sven; Zhang, Lijun
1
2011
Complexity of node coverage games. Zbl 1312.68070
Wang, Farn; Schewe, Sven; Wu, Jung-Hsuan
1
2015
Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games. Zbl 1484.68141
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
1
2017
Synthesis of succinct systems. Zbl 1374.68282
Fearnley, John; Peled, Doron; Schewe, Sven
1
2012
Optimal time-abstract schedulers for CTMDPs and Markov games. Zbl 1456.90174
Rabe, Markus; Schewe, Sven
1
2010
Model-free reinforcement learning for lexicographic omega-regular objectives. Zbl 1521.68121
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
1
2021
Maximum rooted connected expansion. Zbl 1512.68238
Lamprou, Ioannis; Martin, Russell; Schewe, Sven; Sigalas, Ioannis; Zissimopoulos, Vassilis
1
2018
\(\omega \)-automata. Zbl 1516.68051
Wilke, Thomas; Schewe, Sven
1
2021
History-deterministic timed automata are not determinizable. Zbl 07714977
Bose, Sougata; Henzinger, Thomas A.; Lehtinen, Karoliina; Schewe, Sven; Totzke, Patrick
3
2022
A recursive approach to solving parity games in quasipolynomial time. Zbl 07471697
Lehtinen, Karoliina; Parys, Paweł; Schewe, Sven; Wojtczak, Dominik
3
2022
Simple stochastic games with almost-sure energy-parity objectives are in NP and conp. Zbl 07410437
Mayr, Richard; Schewe, Sven; Totzke, Patrick; Wojtczak, Dominik
3
2021
Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant. Zbl 07408660
Faraggi, Alon E.; Percival, Benjamin; Schewe, Sven; Wojtczak, Dominik
3
2021
Model-free reinforcement learning for lexicographic omega-regular objectives. Zbl 1521.68121
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
1
2021
\(\omega \)-automata. Zbl 1516.68051
Wilke, Thomas; Schewe, Sven
1
2021
Faithful and effective reward schemes for model-free reinforcement learning of omega-regular objectives. Zbl 1517.68331
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
8
2020
Good-for-MDPs automata for probabilistic analysis and reinforcement learning. Zbl 1507.68167
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
8
2020
Model-free reinforcement learning for stochastic parity games. Zbl 07559477
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
4
2020
Eternally dominating large grids. Zbl 1433.05225
Lamprou, Ioannis; Martin, Russell; Schewe, Sven
6
2019
Omega-regular objectives in model-free reinforcement learning. Zbl 1527.68177
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik
6
2019
Parity games with weights. Zbl 1509.68104
Schewe, Sven; Weinert, Alexander; Zimmermann, Martin
2
2019
Accelerated model checking of parametric Markov chains. Zbl 1517.68235
Gainer, Paul; Hahn, Ernst Moritz; Schewe, Sven
7
2018
Parity games with weights. Zbl 1509.68105
Schewe, Sven; Weinert, Alexander; Zimmermann, Martin
3
2018
Maximum rooted connected expansion. Zbl 1512.68238
Lamprou, Ioannis; Martin, Russell; Schewe, Sven; Sigalas, Ioannis; Zissimopoulos, Vassilis
1
2018
Solving parity games in big steps. Zbl 1353.68180
Schewe, Sven
10
2017
Perpetually dominating large grids. Zbl 1490.05182
Lamprou, Ioannis; Martin, Russell; Schewe, Sven
2
2017
MDPs with energy-parity objectives. Zbl 1458.68069
Mayr, Richard; Schewe, Sven; Totzke, Patrick; Wojtczak, Dominik
2
2017
Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games. Zbl 1484.68141
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
1
2017
Complementing semi-deterministic Büchi automata. Zbl 1420.68106
Blahoudek, František; Heizmann, Matthias; Schewe, Sven; Strejček, Jan; Tsai, Ming-Hsien
10
2016
Fast two-robot disk evacuation with wireless communication. Zbl 1393.68166
Lamprou, Ioannis; Martin, Russell; Schewe, Sven
9
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
A simple algorithm for solving qualitative probabilistic parity games. Zbl 1411.68068
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
2
2016
Lazy probabilistic model checking without determinisation. Zbl 1374.68290
Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
13
2015
Symmetric strategy improvement. Zbl 1440.91005
Schewe, Sven; Trivedi, Ashutosh; Varghese, Thomas
8
2015
Making the best of limited memory in multi-player discounted sum games. Zbl 1479.91030
Gupta, Anshul; Schewe, Sven; Wojtczak, Dominik
2
2015
Complexity of node coverage games. Zbl 1312.68070
Wang, Farn; Schewe, Sven; Wu, Jung-Hsuan
1
2015
Determinising parity automata. Zbl 1425.68229
Schewe, Sven; Varghese, Thomas
6
2014
Distributed synthesis is simply undecidable. Zbl 1358.68196
Schewe, Sven
4
2014
Multiplayer cost games with simple Nash equilibria. Zbl 1422.91043
Brihaye, Thomas; De Pril, Julie; Schewe, Sven
10
2013
Combined model checking for temporal, probabilistic, and real-time logics. Zbl 1360.68591
Konur, Savas; Fisher, Michael; 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
Time and parallelizability results for parity games with bounded tree and DAG width. Zbl 1266.68123
Fearnley, John; Schewe, Sven
2
2013
Model-checking iterated games. Zbl 1381.68167
Huang, Chung-Hao; Schewe, Sven; Wang, Farn
2
2013
Bounded satisfiability for PCTL. Zbl 1252.68189
Bertrand, Nathalie; Fearnley, John; Schewe, Sven
5
2012
Tight bounds for the determinisation and complementation of generalised Büchi automata. Zbl 1374.68265
Schewe, Sven; Varghese, Thomas
4
2012
Time and parallelizability results for parity games with bounded treewidth. Zbl 1367.68108
Fearnley, John; Schewe, Sven
4
2012
Synthesis of succinct systems. Zbl 1374.68282
Fearnley, John; Peled, Doron; 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
6
2011
Efficient approximation of optimal control for continuous-time Markov games. Zbl 1246.68165
Fearnley, John; Rabe, Markus; Schewe, Sven; Zhang, Lijun
1
2011
Beyond hyper-minimisation – minimising DBAs and DPAs is NP-complete. Zbl 1245.68096
Schewe, Sven
20
2010
Coordination logic. Zbl 1287.03070
Finkbeiner, Bernd; Schewe, Sven
9
2010
Optimal time-abstract schedulers for CTMDPs and Markov games. Zbl 1456.90174
Rabe, Markus; Schewe, Sven
1
2010
Tighter bounds for the determinisation of Büchi automata. Zbl 1234.68239
Schewe, Sven
23
2009
Büchi complementation made tight. Zbl 1236.68176
Schewe, Sven
20
2009
From parity and payoff games to linear programming. Zbl 1250.68131
Schewe, Sven
8
2009
An optimal strategy improvement algorithm for solving parity and payoff games. Zbl 1156.68478
Schewe, Sven
25
2008
ATL\(^*\) satisfiability is 2EXPTIME-complete. Zbl 1155.68447
Schewe, Sven
18
2008
Bounded synthesis. Zbl 1141.68491
Schewe, Sven; Finkbeiner, Bernd
44
2007
Solving parity games in big steps. Zbl 1135.68480
Schewe, Sven
39
2007
Synthesis of asynchronous systems. Zbl 1196.68142
Schewe, Sven; Finkbeiner, Bernd
15
2007
Semi-automatic distributed synthesis. Zbl 1112.68095
Schewe, Sven; Finkbeiner, Bernd
1
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
14
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
2
2006
Semi-automatic distributed synthesis. Zbl 1170.68539
Finkbeiner, Bernd; Schewe, Sven
24
2005
all top 5

Cited by 476 Authors

25 Schewe, Sven
14 Finkbeiner, Bernd
13 Kupferman, Orna
13 Zimmermann, Martín G.
9 Hahn, Ernst Moritz
9 Mogavero, Fabio
9 Murano, Aniello
9 Vardi, Moshe Ya’akov
8 Benerecetti, Massimo
8 Křetínský, Jan
7 Friedmann, Oliver
7 Georgiou, Konstantinos
7 Raskin, Jean-François
7 Trivedi, Ashutosh
7 Wojtczak, Dominik
7 Zhang, Lijun
6 Dell’Erba, Daniele
6 Katoen, Joost-Pieter
6 Perelli, Giuseppe
6 Sickert, Salomon
6 Tentrup, Leander
5 Bloem, Roderick
5 Bruyère, Véronique
5 Lange, Martin
5 Li, Yong
5 Perez, Mateo
5 Somenzi, Fabio
4 Angluin, Dana
4 Baier, Christel
4 Berwanger, Dietmar
4 Boker, Udi
4 Brihaye, Thomas
4 Chatterjee, Krishnendu
4 Filiot, Emmanuel
4 Fisman, Dana
4 Gutierrez, Julian
4 Jobstmann, Barbara
4 Junges, Sebastian
4 Kranakis, Evangelos Konstantinou
4 Löding, Christof
4 Mc Inerney, Fionn
4 Turrini, Andrea
4 van den Bogaard, Marie
4 Weinert, Alexander
4 Willemse, Tim A. C.
4 Wooldridge, Michael J.
3 Bozzelli, Laura
3 Chodil, Miroslav
3 Czyzowicz, Jurek
3 Dimitrova, Rayna
3 Ehlers, Rüdiger
3 Fearnley, John
3 Fogarty, Seth J.
3 Gimbert, Hugo
3 Goeminne, Aline
3 Jacobs, Swen
3 Killick, Ryan
3 Krizanc, Danny
3 Kucera, Antonin
3 Lehtinen, Karoliina
3 Makino, Kazuhisa
3 Meggendorfer, Tobias
3 Müller, David I.
3 Muscholl, Anca
3 Narayanan, Lata
3 Nisse, Nicolas
3 Pérennes, Stéphane
3 Piterman, Nir
3 Rabe, Markus N.
3 Radi, Bader Abu
3 Rubin, Sasha
3 Sorrentino, Loredana
3 Sznajder, Nathalie
3 Tsay, Yih-Kuen
2 Almagor, Shaull
2 Alur, Rajeev
2 Bansal, Suguman
2 Belardinelli, Francesco
2 Bonakdarpour, Borzoo
2 Bonato, Anthony
2 Boros, Endre
2 Bouyer, Patricia
2 Chockler, Hana
2 Cohen, Nathann
2 David, Amélie
2 Demri, Stéphane P.
2 Di Stasio, Antonio
2 Doyen, Laurent
2 Duret-Lutz, Alexandre
2 Ebrahimi, Masoud
2 Elbassioni, Khaled M.
2 Esparza, Javier
2 Faymonville, Peter
2 Feng, Weizhi
2 Feng, Yuan
2 Gastin, Paul
2 Gaubert, Stéphane
2 Gazda, Maciej W.
2 Gentilini, Raffaella
2 Gieseking, Manuel
...and 376 more Authors

Citations by Year