default search action

combined dblp search
author search
venue search
publication search

ask others

Sven Schewe

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[i33]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-06989
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-06989
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]
- view
- export record
  dblp key:
  - journals/tcs/LamprouMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LamprouMS20
Ioannis Lamprou, Russell Martin, Sven Schewe:
Fast two-robot disk evacuation with wireless communication. Theor. Comput. Sci. 846: 38-60 (2020)
[c73]
- view
- export record
  dblp key:
  - conf/atva/HahnPSS0W20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HahnPSS0W20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/concur/HahnPSS0W20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HahnPSS0W20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/fsttcs/Schewe20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Schewe20
Sven Schewe:
Minimising Good-For-Games Automata Is NP-Complete. FSTTCS 2020: 56:1-56:13
[c70]
- view
  - electronic edition @ neurips.cc (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nips/JinYZ0S020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/JinYZ0S020
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]
- view
- export record
  dblp key:
  - conf/tacas/HahnPSS0W20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HahnPSS0W20
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-05977
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-05977
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-11979
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-11979
Sven Schewe:
Minimising Good-for-Games automata is NP complete. CoRR abs/2003.11979 (2020)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-05983
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-05983
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/lmcs/ScheweWZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/ScheweWZ19
Sven Schewe, Alexander Weinert, Martin Zimmermann:
Parity Games with Weights. Log. Methods Comput. Sci. 15(3) (2019)
[j23]
- view
- export record
  dblp key:
  - journals/sttt/FearnleyJKSSW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FearnleyJKSSW19
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]
- view
- export record
  dblp key:
  - journals/tcs/LamprouMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LamprouMS19
Ioannis Lamprou, Russell Martin, Sven Schewe:
Eternally dominating large grids. Theor. Comput. Sci. 794: 27-46 (2019)
[j21]
- view
- export record
  dblp key:
  - journals/tcs/ScheweSW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ScheweSW19
Sven Schewe, Thomas Schneider, Jef Wijsen:
Special issue on Temporal Representation and Reasoning (TIME 2017). Theor. Comput. Sci. 797: 1 (2019)
[c68]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/tacas/HahnPSSTW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HahnPSSTW19
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-11810
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-11810
Karoliina Lehtinen, Sven Schewe, Dominik Wojtczak:
Improving the complexity of Parys' recursive algorithm. CoRR abs/1904.11810 (2019)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-05081
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-05081
Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi, Sven Schewe, Dominik Wojtczak:
Good-for-MDPs Automata. CoRR abs/1909.05081 (2019)
2018
[j20]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/games/GuptaS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/games/GuptaS18
Anshul Gupta, Sven Schewe:
Buying Optimal Payoffs in Bi-Matrix Games. Games 9(3): 40 (2018)
[c67]
- view
- export record
  dblp key:
  - conf/atva/GainerHS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GainerHS18
Paul Gainer, Ernst Moritz Hahn, Sven Schewe:
Accelerated Model Checking of Parametric Markov Chains. ATVA 2018: 300-316
[c66]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/csl/ScheweW018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/ScheweW018
Sven Schewe, Alexander Weinert, Martin Zimmermann:
Parity Games with Weights. CSL 2018: 36:1-36:17
[c65]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/mfcs/LamprouMSSZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/LamprouMSSZ18
Ioannis Lamprou, Russell Martin, Sven Schewe, Ioannis Sigalas, Vassilis Zissimopoulos:
Maximum Rooted Connected Expansion. MFCS 2018: 25:1-25:14
[c64]
- view
- export record
  dblp key:
  - conf/qest/GainerHS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/GainerHS18
Paul Gainer, Ernst Moritz Hahn, Sven Schewe:
Incremental Verification of Parametric and Reconfigurable Markov Chains. QEST 2018: 140-156
[c63]
- view
- export record
  dblp key:
  - conf/vmcai/LiTZS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/LiTZS18
Yong Li, Andrea Turrini, Lijun Zhang, Sven Schewe:
Learning to Complement Büchi Automata. VMCAI 2018: 313-335
[e3]
- view
- export record
  dblp key:
  - conf/concur/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/2018
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-01872
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-01872
Paul Gainer, Ernst Moritz Hahn, Sven Schewe:
Incremental Verification of Parametric and Reconfigurable Markov Chains. CoRR abs/1804.01872 (2018)
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-06168
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-06168
Sven Schewe, Alexander Weinert, Martin Zimmermann:
Parity Games with Weights. CoRR abs/1804.06168 (2018)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1805-05672
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-05672
Paul Gainer, Ernst Moritz Hahn, Sven Schewe:
Accelerated Model Checking of Parametric Markov Chains. CoRR abs/1805.05672 (2018)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1806-09549
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-09549
Ioannis Lamprou, Russell Martin, Sven Schewe, Ioannis Sigalas, Vassilis Zissimopoulos:
Maximum Rooted Connected Expansion. CoRR abs/1806.09549 (2018)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1810-00950
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-00950
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]
- view
- export record
  dblp key:
  - journals/acta/HuangSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/HuangSW17
Chung-Hao Huang, Sven Schewe, Farn Wang:
Model-checking iterated games. Acta Informatica 54(7): 625-654 (2017)
[j18]
- view
- export record
  dblp key:
  - journals/jcss/Schewe17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/Schewe17
Sven Schewe:
Solving parity games in big steps. J. Comput. Syst. Sci. 84: 243-262 (2017)
[c62]
- view
- export record
  dblp key:
  - conf/ciac/LamprouMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ciac/LamprouMS17
Ioannis Lamprou, Russell Martin, Sven Schewe:
Perpetually Dominating Large Grids. CIAC 2017: 393-404
[c61]
- view
- export record
  dblp key:
  - conf/formats/MousaSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/MousaSW17
Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak:
Optimal Control for Multi-mode Systems with Discrete Costs. FORMATS 2017: 77-96
[c60]
- view
- export record
  dblp key:
  - conf/lics/MayrSTW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/MayrSTW17
Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak:
MDPs with energy-parity objectives. LICS 2017: 1-12
[c59]
- view
- export record
  dblp key:
  - conf/setta/HusienSB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/HusienSB17
Idress Husien, Sven Schewe, Nicolas Berthier:
PranCS: A Protocol and Discrete Controller Synthesis Tool. SETTA 2017: 337-349
[c58]
- view
- export record
  dblp key:
  - conf/spin/FearnleyJS0W17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/FearnleyJS0W17
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]
- view
- export record
  dblp key:
  - conf/spin/HusienBS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/HusienBS17
Idress Husien, Nicolas Berthier, Sven Schewe:
A hot method for synthesising cool controllers. SPIN 2017: 122-131
[c56]
- view
- export record
  dblp key:
  - conf/vmcai/HahnST017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/HahnST017
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]
- view
- export record
  dblp key:
  - journals/corr/abs-1711-10636
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-10636
Roderick Bloem, Sven Schewe, Ayrat Khalimov:
CTL* synthesis via LTL synthesis. SYNT@CAV 2017: 4-22
[e2]
- view
- export record
  dblp key:
  - conf/time/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/2017
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MayrSTW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MayrSTW17
Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak:
MDPs with Energy-Parity Objectives. CoRR abs/1701.02546 (2017)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FearnleyJS0W17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FearnleyJS0W17
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MousaSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MousaSW17
Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak:
Optimal Control for Multi-Mode Systems with Discrete Costs. CoRR abs/1706.09886 (2017)
2016
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/iandc/FearnleyRS016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/FearnleyRS016
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/tcs/MuschollS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MuschollS16
Anca Muscholl, Sven Schewe:
Controlling loosely cooperating processes. Theor. Comput. Sci. 611: 136-141 (2016)
[j15]
- view
- export record
  dblp key:
  - journals/tse/HuangPSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/HuangPSW16
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]
- view
- export record
  dblp key:
  - conf/cav/HahnSTZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HahnSTZ16
Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang:
A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. CAV (2) 2016: 291-311
[c53]
- view
- export record
  dblp key:
  - conf/sefm/HusienS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/HusienS16
Idress Husien, Sven Schewe:
Program Generation Using Simulated Annealing and Model Checking. SEFM 2016: 155-171
[c52]
- view
- export record
  dblp key:
  - conf/sefm/GuptaSTDP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/GuptaSTDP16
Anshul Gupta, Sven Schewe, Ashutosh Trivedi, Maram Sai Krishna Deepak, Bharath Kumar Padarthi:
Incentive Stackelberg Mean-Payoff Games. SEFM 2016: 304-320
[c51]
- view
- export record
  dblp key:
  - conf/tacas/BlahoudekHSST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BlahoudekHSST16
Frantisek Blahoudek, Matthias Heizmann, Sven Schewe, Jan Strejcek, Ming-Hsien Tsai:
Complementing Semi-deterministic Büchi Automata. TACAS 2016: 770-787
[c50]
- view
- export record
  dblp key:
  - conf/time/MousaSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/MousaSW16
Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak:
Optimal Control for Simple Linear Hybrid Systems. TIME 2016: 12-20
[c49]
- view
- export record
  dblp key:
  - conf/wdag/LamprouMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/LamprouMS16
Ioannis Lamprou, Russell Martin, Sven Schewe:
Fast Two-Robot Disk Evacuation with Wireless Communication. DISC 2016: 1-15
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/LamprouMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LamprouMS16
Ioannis Lamprou, Russell Martin, Sven Schewe:
Fast Two-Robot Disk Evacuation with Wireless Communication. CoRR abs/1604.04217 (2016)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HahnST016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HahnST016
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/LamprouMS16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LamprouMS16a
Ioannis Lamprou, Russell Martin, Sven Schewe:
Perpetually Dominating Large Grids. CoRR abs/1611.08204 (2016)
2015
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/jcss/FearnleyPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/FearnleyPS15
John Fearnley, Doron A. Peled, Sven Schewe:
Synthesis of succinct systems. J. Comput. Syst. Sci. 81(7): 1171-1193 (2015)
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/tcs/WangSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/WangSW15
Farn Wang, Sven Schewe, Jung-Hsuan Wu:
Complexity of node coverage games. Theor. Comput. Sci. 576: 45-60 (2015)
[j12]
- view
- export record
  dblp key:
  - journals/toplas/WangSH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/WangSH15
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]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/GuptaS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/GuptaS15
Anshul Gupta, Sven Schewe:
It Pays to Pay in Bi-Matrix Games: a Rational Explanation for Bribery. AAMAS 2015: 1361-1369
[c47]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/concur/HahnLST015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HahnLST015
Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang:
Lazy Probabilistic Model Checking without Determinisation. CONCUR 2015: 354-367
[c46]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/fossacs/GenestPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/GenestPS15
Blaise Genest, Doron A. Peled, Sven Schewe:
Knowledge = Observation + Memory + Computation. FoSSaCS 2015: 215-229
[c45]
- view
- export record
  dblp key:
  - conf/hybrid/BhaveJKST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BhaveJKST15
Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi:
Bounded-rate multi-mode systems based motion planning. HSCC 2015: 41-50
[c44]
- view
- export record
  dblp key:
  - conf/icalp/ScheweTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/ScheweTV15
Sven Schewe, Ashutosh Trivedi, Thomas Varghese:
Symmetric Strategy Improvement. ICALP (2) 2015: 388-400
[c43]
- view
- export record
  dblp key:
  - conf/memocode/BrookPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/BrookPS15
Alon Brook, Doron A. Peled, Sven Schewe:
Local and global fairness in concurrent systems. MEMOCODE 2015: 2-9
[c42]
- view
- export record
  dblp key:
  - journals/corr/GuptaS14c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GuptaS14c
Anshul Gupta, Sven Schewe, Dominik Wojtczak:
Making the Best of Limited Memory in Multi-Player Discounted Sum Games. GandALF 2015: 16-30
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ScheweTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ScheweTV15
Sven Schewe, Ashutosh Trivedi, Thomas Varghese:
Symmetric Strategy Improvement. CoRR abs/1501.06484 (2015)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GuptaDPST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GuptaDPST15
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/acta/PeledS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/PeledS14
Doron A. Peled, Sven Schewe:
Editorial: special issue on synthesis. Acta Informatica 51(3-4): 127-128 (2014)
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/ipl/Schewe14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/Schewe14
Sven Schewe:
Distributed synthesis is simply undecidable. Inf. Process. Lett. 114(4): 203-207 (2014)
[c41]
- view
- export record
  dblp key:
  - conf/fm/HahnLSTZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/HahnLSTZ14
Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang:
iscasMc: A Web-Based Probabilistic Model Checker. FM 2014: 312-317
[c40]
- view
- export record
  dblp key:
  - conf/mfcs/ScheweV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/ScheweV14
Sven Schewe, Thomas Varghese:
Determinising Parity Automata. MFCS (1) 2014: 486-498
[c39]
- view
- export record
  dblp key:
  - conf/mfcs/ScheweV14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/ScheweV14a
Sven Schewe, Thomas Varghese:
Tight Bounds for Complementing Parity Automata. MFCS (1) 2014: 499-510
[c38]
- view
- export record
  dblp key:
  - conf/time/GuptaS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/GuptaS14
Anshul Gupta, Sven Schewe:
Quantitative Verification in Rational Environments. TIME 2014: 123-131
[p1]
- view
  - electronic edition @ easychair.org
  - no references & citations available
- export record
  dblp key:
  - conf/birthday/PeledS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/PeledS14
Doron A. Peled, Sven Schewe:
Distributed Control Synthesis. HOWARD-60 2014: 271-288
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ScheweV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ScheweV14
Sven Schewe, Thomas Varghese:
Determinising Parity Automata. CoRR abs/1401.5394 (2014)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ScheweV14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ScheweV14a
Sven Schewe, Thomas Varghese:
Tight Bounds for Complementing Parity Automata. CoRR abs/1406.1090 (2014)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BhaveJKST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BhaveJKST14
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]
- view
- export record
  dblp key:
  - journals/corr/abs-1112-0221
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1112-0221
John Fearnley, Sven Schewe:
Time and Space Results for Parity Games with Bounded Treewidth. Log. Methods Comput. Sci. 9(2) (2013)
[j8]
- view
- export record
  dblp key:
  - journals/sttt/FinkbeinerS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FinkbeinerS13
Bernd Finkbeiner, Sven Schewe:
Bounded synthesis. Int. J. Softw. Tools Technol. Transf. 15(5-6): 519-539 (2013)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/tcs/RabeS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/RabeS13
Markus N. Rabe, Sven Schewe:
Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games. Theor. Comput. Sci. 467: 53-67 (2013)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KonurFS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KonurFS13
Savas Konur, Michael Fisher, Sven Schewe:
Combined model checking for temporal, probabilistic, and real-time logics. Theor. Comput. Sci. 503: 61-88 (2013)
[c37]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/NikitinaS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/NikitinaS13
Nadeschda Nikitina, Sven Schewe:
More is Sometimes Less: Succinctness in EL. Description Logics 2013: 403-414
[c36]
- view
- export record
  dblp key:
  - conf/lfcs/BrihayePS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/BrihayePS13
Thomas Brihaye, Julie De Pril, Sven Schewe:
Multiplayer Cost Games with Simple Nash Equilibria. LFCS 2013: 59-73
[c35]
- view
- export record
  dblp key:
  - conf/mfcs/MuschollS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/MuschollS13
Anca Muscholl, Sven Schewe:
Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge. MFCS 2013: 691-703
[c34]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/semweb/NikitinaS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/NikitinaS13
Nadeschda Nikitina, Sven Schewe:
Simplifying Description Logic Ontologies. International Semantic Web Conference (1) 2013: 411-426
[c33]
- view
- export record
  dblp key:
  - conf/tacas/HuangSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HuangSW13
Chung-Hao Huang, Sven Schewe, Farn Wang:
Model-Checking Iterated Games. TACAS 2013: 154-168
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GuptaS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GuptaS13
Anshul Gupta, Sven Schewe:
The benefit of law-making power. CoRR abs/1307.2051 (2013)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HahnLS013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HahnLS013
Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Lijun Zhang:
Lazy Determinisation for Quantitative Model Checking. CoRR abs/1311.2928 (2013)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/WangWSH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WangWSH13
Farn Wang, Jung-Hsuan Wu, Sven Schewe, Chung-Hao Huang:
Coverage Games for Testing Nondeterministic Systems. CoRR abs/1312.6201 (2013)
2012
[c32]
- view
- export record
  dblp key:
  - conf/atva/ScheweV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ScheweV12
Sven Schewe, Thomas Varghese:
Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata. ATVA 2012: 42-56
[c31]
- view
- export record
  dblp key:
  - conf/atva/FearnleyPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FearnleyPS12
John Fearnley, Doron A. Peled, Sven Schewe:
Synthesis of Succinct Systems. ATVA 2012: 208-222
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/csl/BertrandFS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/BertrandFS12
Nathalie Bertrand, John Fearnley, Sven Schewe:
Bounded Satisfiability for PCTL. CSL 2012: 92-106
[c29]
- view
- export record
  dblp key:
  - conf/formats/BertrandS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/BertrandS12
Nathalie Bertrand, Sven Schewe:
Playing Optimally on Timed Automata with Random Delays. FORMATS 2012: 43-58
[c28]
- view
- export record
  dblp key:
  - conf/icalp/FearnleyS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/FearnleyS12
John Fearnley, Sven Schewe:
Time and Parallelizability Results for Parity Games with Bounded Treewidth. ICALP (2) 2012: 189-200
[c27]
- view
- export record
  dblp key:
  - journals/corr/abs-1210-2449
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2449
Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang:
Rapid Recovery for Systems with Scarce Faults. GandALF 2012: 15-28
[e1]
- view
- export record
  dblp key:
  - journals/corr/abs-1207-0554
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-0554
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1202-5449
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-5449
John Fearnley, Doron A. Peled, Sven Schewe:
Synthesis of Succinct Systems. CoRR abs/1202.5449 (2012)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1204-0469
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1204-0469
Nathalie Bertrand, John Fearnley, Sven Schewe:
Bounded Satisfiability for PCTL. CoRR abs/1204.0469 (2012)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1210-3548
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-3548
Thomas Brihaye, Julie De Pril, Sven Schewe:
Multiplayer Cost Games with Simple Nash Equilibria. CoRR abs/1210.3548 (2012)
2011
[j5]
- view
- export record
  dblp key:
  - journals/acta/RabeS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/RabeS11
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]
- view
- export record
  dblp key:
  - conf/atva/KatzPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KatzPS11
Gal Katz, Doron A. Peled, Sven Schewe:
The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. ATVA 2011: 422-431
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/cav/KatzPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KatzPS11
Gal Katz, Doron A. Peled, Sven Schewe:
Synthesis of Distributed Control through Knowledge Accumulation. CAV 2011: 510-525
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/fsttcs/FearnleyRSZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/FearnleyRSZ11
John Fearnley, Markus N. Rabe, Sven Schewe, Lijun Zhang:
Efficient Approximation of Optimal Control for Continuous-Time Markov Games. FSTTCS 2011: 399-410
[c23]
- view
- export record
  dblp key:
  - conf/time/ScheweT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/ScheweT11
Sven Schewe, Cong Tian:
Synthesising Classic and Interval Temporal Logic. TIME 2011: 64-71
[c22]
- view
- export record
  dblp key:
  - journals/corr/abs-1111-3106
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-3106
Doron A. Peled, Sven Schewe:
Practical Distributed Control Synthesis. INFINITY 2011: 2-17
2010
[j4]
- view
- export record
  dblp key:
  - journals/iee/FinkbeinerPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/FinkbeinerPS10
Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe:
Synthesising certificates in networks of timed automata. IET Softw. 4(3): 222-235 (2010)
[j3]
- view
- export record
  dblp key:
  - journals/it/Schewe10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/it/Schewe10
Sven Schewe:
Synthese Verteilter Systeme (Synthesis of Distributed Systems). it Inf. Technol. 52(2): 120-124 (2010)
[c21]
- view
- export record
  dblp key:
  - conf/csl/FinkbeinerS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/FinkbeinerS10
Bernd Finkbeiner, Sven Schewe:
Coordination Logic. CSL 2010: 305-319
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/fsttcs/Schewe10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Schewe10
Sven Schewe:
Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete. FSTTCS 2010: 400-411
[c19]
- view
- export record
  dblp key:
  - journals/corr/abs-1006-5103
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-5103
Markus N. Rabe, Sven Schewe:
Optimal Time-Abstract Schedulers for CTMDPs and Markov Games. QAPL 2010: 144-158
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1004-4005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1004-4005
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1007-1333
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1007-1333
Sven Schewe:
Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata. CoRR abs/1007.1333 (2010)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1011-0397
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-0397
Markus N. Rabe, Sven Schewe, Lijun Zhang:
Efficient Approximation of Optimal Control for Markov Games. CoRR abs/1011.0397 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - journals/eceasst/ArapinisCDFGKMRRSUY09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/ArapinisCDFGKMRRSUY09
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/fossacs/Schewe09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/Schewe09
Sven Schewe:
Tighter Bounds for the Determinisation of Büchi Automata. FoSSaCS 2009: 167-181
[c17]
- view
- export record
  dblp key:
  - conf/mfcs/Schewe09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/Schewe09
Sven Schewe:
From Parity and Payoff Games to Linear Programming. MFCS 2009: 675-686
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/stacs/Schewe09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/Schewe09
Sven Schewe:
Büchi Complementation Made Tight. STACS 2009: 661-672
[i2]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/Schewe09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Schewe09
Sven Schewe:
Software Synthesis is Hard - and Simple. Software Synthesis 2009
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0902-2152
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0902-2152
Sven Schewe:
Büchi complementation made tight. CoRR abs/0902.2152 (2009)
2008
[b1]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/0023286
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0023286
Sven Schewe:
Synthesis of distributed systems. Saarland University, Saarbrücken, Germany, 2008, pp. I-IX
[c15]
- view
- export record
  dblp key:
  - conf/csl/Schewe08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/Schewe08
Sven Schewe:
An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games. CSL 2008: 369-384
[c14]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/gi/Schewe08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/Schewe08
Sven Schewe:
Synthesis of Distributed Systems. Ausgezeichnete Informatikdissertationen 2008: 251-260
[c13]
- view
- export record
  dblp key:
  - conf/icalp/Schewe08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Schewe08
Sven Schewe:
ATL* Satisfiability Is 2EXPTIME-Complete. ICALP (2) 2008: 373-385
[c12]
- view
- export record
  dblp key:
  - conf/rtss/FinkbeinerPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/FinkbeinerPS08
Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe:
Synthesizing Certificates in Networks of Timed Automata. RTSS 2008: 183-194
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/tacas/FinkbeinerPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FinkbeinerPS08
Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe:
RESY: Requirement Synthesis for Compositional Model Checking. TACAS 2008: 463-466
2007
[j1]
- view
- export record
  dblp key:
  - journals/ijfcs/ScheweF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/ScheweF07
Sven Schewe, Bernd Finkbeiner:
Semi-automatic Distributed Synthesis. Int. J. Found. Comput. Sci. 18(1): 113-138 (2007)
[c10]
- view
- export record
  dblp key:
  - conf/atva/ScheweF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ScheweF07
Sven Schewe, Bernd Finkbeiner:
Distributed Synthesis for Alternating-Time Logics. ATVA 2007: 268-283
[c9]
- view
- export record
  dblp key:
  - conf/atva/ScheweF07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ScheweF07a
Sven Schewe, Bernd Finkbeiner:
Bounded Synthesis. ATVA 2007: 474-488
[c8]
- view
- export record
  dblp key:
  - conf/fsttcs/Schewe07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Schewe07
Sven Schewe:
Solving Parity Games in Big Steps. FSTTCS 2007: 449-460
2006
[c7]
- view
- export record
  dblp key:
  - conf/atva/HelmertMS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HelmertMS06
Malte Helmert, Robert Mattmüller, Sven Schewe:
Selective Approaches for Solving Weak Games. ATVA 2006: 200-214
[c6]
- view
- export record
  dblp key:
  - conf/atva/Schewe06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Schewe06
Sven Schewe:
Synthesis for Probabilistic Environments. ATVA 2006: 245-259
[c5]
- view
- export record
  dblp key:
  - conf/csl/ScheweF06
- ask others