Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sven Schewe
@article{DBLP:journals/ipl/DellErbaSTZ24,
author = {Daniele Dell'Erba and
Sven Schewe and
Qiyi Tang and
Tansholpan Zhanabekova},
title = {Semantic flowers for good-for-games and deterministic automata},
journal = {Inf. Process. Lett.},
volume = {185},
pages = {106468},
year = {2024},
url = {https://doi.org/10.1016/j.ipl.2023.106468},
doi = {10.1016/J.IPL.2023.106468},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/DellErbaSTZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HahnPSS0W24,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Omega-Regular Decision Processes},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {21125--21133},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i19.30105},
doi = {10.1609/AAAI.V38I19.30105},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HahnPSS0W24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HahnPSSTW23,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
title = {Multi-objective {\(\omega\)}-Regular Reinforcement Learning},
journal = {Formal Aspects Comput.},
volume = {35},
number = {2},
pages = {12:1--12:24},
year = {2023},
url = {https://doi.org/10.1145/3605950},
doi = {10.1145/3605950},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HahnPSSTW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/DongHBCB00S023,
author = {Yi Dong and
Wei Huang and
Vibhav Bharti and
Victoria Cox and
Alec Banks and
Sen Wang and
Xingyu Zhao and
Sven Schewe and
Xiaowei Huang},
title = {Reliability Assessment and Safety Arguments for Machine Learning Components
in System Assurance},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {22},
number = {3},
pages = {48:1--48:48},
year = {2023},
url = {https://doi.org/10.1145/3570918},
doi = {10.1145/3570918},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/DongHBCB00S023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisafety/AlshareefBS023,
author = {Amany Alshareef and
Nicolas Berthier and
Sven Schewe and
Xiaowei Huang},
editor = {Gabriel Pedroza and
Xiaowei Huang and
Xin Cynthia Chen and
Andreas Theodorou and
Hu{\'{a}}scar Espinoza and
Nikolaos Matragkas and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Mauricio Castillo{-}Effen and
Richard Mallah and
John A. McDermid and
David M. Bossens and
Bettina K{\"{o}}nighofer and
Sebastian Tschiatschek and
Anqi Liu},
title = {Weight-based Semantic Testing Approach for Deep Neural Networks},
booktitle = {Proceedings of the {IJCAI-23} Joint Workshop on Artificial Intelligence
Safety and Safe Reinforcement Learning (AISafety-SafeRL 2023) co-located
with the 32nd International Joint Conference on Artificial Intelligence(IJCAI2023),
Macau, China, August 21-22, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3505},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3505/paper\_1.pdf},
timestamp = {Fri, 08 Dec 2023 14:24:28 +0100},
biburl = {https://dblp.org/rec/conf/aisafety/AlshareefBS023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LiST23,
author = {Yong Li and
Sven Schewe and
Qiyi Tang},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {A Novel Family of Finite Automata for Recognizing and Learning {\o}mega-Regular
Languages},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14215},
pages = {53--73},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45329-8\_3},
doi = {10.1007/978-3-031-45329-8\_3},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/LiST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Schewe0Z23,
author = {Sven Schewe and
Qiyi Tang and
Tansholpan Zhanabekova},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Deciding What Is Good-For-MDPs},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {35:1--35:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.35},
doi = {10.4230/LIPICS.CONCUR.2023.35},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/Schewe0Z23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/0031SV23,
author = {Yong Li and
Sven Schewe and
Moshe Y. Vardi},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Singly Exponential Translation of Alternating Weak B{\"{u}}chi
Automata to Unambiguous B{\"{u}}chi Automata},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {37:1--37:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.37},
doi = {10.4230/LIPICS.CONCUR.2023.37},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/0031SV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HahnPSS0W23,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {Omega-Regular Reward Machines},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {972--979},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230368},
doi = {10.3233/FAIA230368},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HahnPSS0W23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/AlJuaidLS23,
author = {Nouf Al{-}Juaid and
Alexei Lisitsa and
Sven Schewe},
editor = {Paolo Mori and
Gabriele Lenzini and
Steven Furnell},
title = {Secure Joint Querying Over Federated Graph Databases Utilising {SMPC}
Protocols},
booktitle = {Proceedings of the 9th International Conference on Information Systems
Security and Privacy, {ICISSP} 2023, Lisbon, Portugal, February 22-24,
2023},
pages = {210--217},
publisher = {SciTePress},
year = {2023},
url = {https://doi.org/10.5220/0011798900003405},
doi = {10.5220/0011798900003405},
timestamp = {Thu, 11 May 2023 10:52:54 +0200},
biburl = {https://dblp.org/rec/conf/icissp/AlJuaidLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmlc/AlshareefBSH23,
author = {Amany Alshareef and
Nicolas Berthier and
Sven Schewe and
Xiaowei Huang},
title = {Robust Bayesian Abstraction of Neural Networks},
booktitle = {International Conference on Machine Learning and Cybernetics, {ICMLC}
2023, Adelaide, Australia, July 9-11, 2023},
pages = {276--283},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICMLC58545.2023.10327954},
doi = {10.1109/ICMLC58545.2023.10327954},
timestamp = {Mon, 11 Dec 2023 15:49:01 +0100},
biburl = {https://dblp.org/rec/conf/icmlc/AlshareefBSH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HahnPSSTW23,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {527--545},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_27},
doi = {10.1007/978-3-031-30823-9\_27},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HahnPSSTW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-01008,
author = {Daniele Dell'Erba and
Arthur Dumas and
Sven Schewe},
editor = {Antonis Achilleos and
Dario Della Monica},
title = {An Objective Improvement Approach to Solving Discounted Payoff Games},
booktitle = {Proceedings of the Fourteenth International Symposium on Games, Automata,
Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th
September 2023},
series = {{EPTCS}},
volume = {390},
pages = {203--219},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390.13},
doi = {10.4204/EPTCS.390.13},
timestamp = {Mon, 06 Nov 2023 15:17:28 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-01008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-03183,
author = {Sougata Bose and
Thomas A. Henzinger and
Karoliina Lehtinen and
Sven Schewe and
Patrick Totzke},
title = {History-deterministic Timed Automata},
journal = {CoRR},
volume = {abs/2304.03183},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.03183},
doi = {10.48550/ARXIV.2304.03183},
eprinttype = {arXiv},
eprint = {2304.03183},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-03183.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-09966,
author = {Yong Li and
Sven Schewe and
Moshe Y. Vardi},
title = {Singly Exponential Translation of Alternating Weak B{\"{u}}chi
Automata to Unambiguous B{\"{u}}chi Automata},
journal = {CoRR},
volume = {abs/2305.09966},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.09966},
doi = {10.48550/ARXIV.2305.09966},
eprinttype = {arXiv},
eprint = {2305.09966},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-09966.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-07490,
author = {Yong Li and
Sven Schewe and
Qiyi Tang},
title = {A novel family of finite automata for recognizing and learning {\(\omega\)}-regular
languages},
journal = {CoRR},
volume = {abs/2307.07490},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.07490},
doi = {10.48550/ARXIV.2307.07490},
eprinttype = {arXiv},
eprint = {2307.07490},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-07490.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-11483,
author = {Sven Schewe and
Qiyi Tang},
title = {On the Succinctness of Good-for-MDPs Automata},
journal = {CoRR},
volume = {abs/2307.11483},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.11483},
doi = {10.48550/ARXIV.2307.11483},
eprinttype = {arXiv},
eprint = {2307.11483},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-11483.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-07469,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
title = {Omega-Regular Reward Machines},
journal = {CoRR},
volume = {abs/2308.07469},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.07469},
doi = {10.48550/ARXIV.2308.07469},
eprinttype = {arXiv},
eprint = {2308.07469},
timestamp = {Wed, 23 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-07469.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-08602,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
title = {Omega-Regular Decision Processes},
journal = {CoRR},
volume = {abs/2312.08602},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.08602},
doi = {10.48550/ARXIV.2312.08602},
eprinttype = {arXiv},
eprint = {2312.08602},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-08602.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcomp/DellErbaS22,
author = {Daniele Dell'Erba and
Sven Schewe},
title = {Smaller progress measures and separating automata for parity games},
journal = {Frontiers Comput. Sci.},
volume = {4},
year = {2022},
url = {https://doi.org/10.3389/fcomp.2022.936903},
doi = {10.3389/FCOMP.2022.936903},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fcomp/DellErbaS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/LehtinenPSW22,
author = {Karoliina Lehtinen and
Pawel Parys and
Sven Schewe and
Dominik Wojtczak},
title = {A Recursive Approach to Solving Parity Games in Quasipolynomial Time},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:8)2022},
doi = {10.46298/LMCS-18(1:8)2022},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/LehtinenPSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmlr/JinYYZSH22,
author = {Gaojie Jin and
Xinping Yi and
Pengfei Yang and
Lijun Zhang and
Sven Schewe and
Xiaowei Huang},
title = {Weight Expansion: {A} New Perspective on Dropout and Generalization},
journal = {Trans. Mach. Learn. Res.},
volume = {2022},
year = {2022},
url = {https://openreview.net/forum?id=w3z3sN1b04},
timestamp = {Fri, 19 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmlr/JinYYZSH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AlshareefBSH22,
author = {Amany Alshareef and
Nicolas Berthier and
Sven Schewe and
Xiaowei Huang},
editor = {Gabriel Pedroza and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Xin Cynthia Chen and
Xiaowei Huang and
Hu{\'{a}}scar Espinoza and
Mauricio Castillo{-}Effen and
John A. McDermid and
Richard Mallah and
Se{\'{a}}n {\'{O}} h{\'{E}}igeartaigh},
title = {Quantifying the Importance of Latent Features in Neural Networks},
booktitle = {Proceedings of the Workshop on Artificial Intelligence Safety 2022
(SafeAI 2022) co-located with the Thirty-Sixth {AAAI} Conference on
Artificial Intelligence (AAAI2022), Virtual, February, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3087},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3087/paper\_32.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/aaai/AlshareefBSH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HahnPSSTW22,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Ahmed Bouajjani and
Luk{\'{a}}s Hol{\'{\i}}k and
Zhilin Wu},
title = {An Impossibility Result in Automata-Theoretic Reinforcement Learning},
booktitle = {Automated Technology for Verification and Analysis - 20th International
Symposium, {ATVA} 2022, Virtual Event, October 25-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13505},
pages = {42--57},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19992-9\_3},
doi = {10.1007/978-3-031-19992-9\_3},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/HahnPSSTW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HahnPSSTW22a,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Ahmed Bouajjani and
Luk{\'{a}}s Hol{\'{\i}}k and
Zhilin Wu},
title = {Alternating Good-for-MDPs Automata},
booktitle = {Automated Technology for Verification and Analysis - 20th International
Symposium, {ATVA} 2022, Virtual Event, October 25-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13505},
pages = {303--319},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19992-9\_19},
doi = {10.1007/978-3-031-19992-9\_19},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/HahnPSSTW22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/JinYHS022,
author = {Gaojie Jin and
Xinping Yi and
Wei Huang and
Sven Schewe and
Xiaowei Huang},
title = {Enhancing Adversarial Training with Second-Order Statistics of Weights},
booktitle = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition,
{CVPR} 2022, New Orleans, LA, USA, June 18-24, 2022},
pages = {15252--15262},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CVPR52688.2022.01484},
doi = {10.1109/CVPR52688.2022.01484},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/JinYHS022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/HahnPSSTW22,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Jan Friso Groote and
Marieke Huisman},
title = {Reinforcement Learning with Guarantees that Hold for Ever},
booktitle = {Formal Methods for Industrial Critical Systems - 27th International
Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13487},
pages = {3--7},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15008-1\_1},
doi = {10.1007/978-3-031-15008-1\_1},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/HahnPSSTW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/EhlersS22,
author = {R{\"{u}}diger Ehlers and
Sven Schewe},
editor = {Anuj Dawar and
Venkatesan Guruswami},
title = {Natural Colors of Infinite Words},
booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022,
{IIT} Madras, Chennai, India},
series = {LIPIcs},
volume = {250},
pages = {36:1--36:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.36},
doi = {10.4230/LIPICS.FSTTCS.2022.36},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/EhlersS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/Al-JuaidLS22,
author = {Nouf Al{-}Juaid and
Alexei Lisitsa and
Sven Schewe},
editor = {Paolo Mori and
Gabriele Lenzini and
Steven Furnell},
title = {{SMPG:} Secure Multi Party Computation on Graph Databases},
booktitle = {Proceedings of the 8th International Conference on Information Systems
Security and Privacy, {ICISSP} 2022, Online Streaming, February 9-11,
2022},
pages = {463--471},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0010876200003120},
doi = {10.5220/0010876200003120},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icissp/Al-JuaidLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KurucanOSW22,
author = {Mehmet Kurucan and
Mete {\"{O}}zbaltan and
Sven Schewe and
Dominik Wojtczak},
editor = {Luc De Raedt},
title = {Hidden 1-Counter Markov Models and How to Learn Them},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {4857--4863},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/673},
doi = {10.24963/IJCAI.2022/673},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/KurucanOSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/HahnPSS0W22,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {Recursive Reinforcement Learning},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/e6f8759254d86ea9c197d30b92b313ca-Abstract-Conference.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/HahnPSS0W22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BoseHLST22,
author = {Sougata Bose and
Thomas A. Henzinger and
Karoliina Lehtinen and
Sven Schewe and
Patrick Totzke},
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {History-Deterministic Timed Automata Are Not Determinizable},
booktitle = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
pages = {67--76},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0\_5},
doi = {10.1007/978-3-031-19135-0\_5},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/BoseHLST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FuHLSSTZ22,
author = {Chen Fu and
Ernst Moritz Hahn and
Yong Li and
Sven Schewe and
Meng Sun and
Andrea Turrini and
Lijun Zhang},
editor = {Bernd Finkbeiner and
Thomas Wies},
title = {{EPMC} Gets Knowledge in Multi-agent Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 23rd International
Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13182},
pages = {93--107},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94583-1\_5},
doi = {10.1007/978-3-030-94583-1\_5},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/FuHLSSTZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-09209,
author = {Gaojie Jin and
Xinping Yi and
Pengfei Yang and
Lijun Zhang and
Sven Schewe and
Xiaowei Huang},
title = {Weight Expansion: {A} New Perspective on Dropout and Generalization},
journal = {CoRR},
volume = {abs/2201.09209},
year = {2022},
url = {https://arxiv.org/abs/2201.09209},
eprinttype = {arXiv},
eprint = {2201.09209},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-09209.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-07629,
author = {Sven Schewe and
Qiyi Tang and
Tansholpan Zhanabekova},
title = {Deciding What is Good-for-MDPs},
journal = {CoRR},
volume = {abs/2202.07629},
year = {2022},
url = {https://arxiv.org/abs/2202.07629},
eprinttype = {arXiv},
eprint = {2202.07629},
timestamp = {Mon, 21 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-07629.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-06020,
author = {Gaojie Jin and
Xinping Yi and
Wei Huang and
Sven Schewe and
Xiaowei Huang},
title = {Enhancing Adversarial Training with Second-Order Statistics of Weights},
journal = {CoRR},
volume = {abs/2203.06020},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.06020},
doi = {10.48550/ARXIV.2203.06020},
eprinttype = {arXiv},
eprint = {2203.06020},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-06020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-00744,
author = {Daniele Dell'Erba and
Sven Schewe},
title = {Smaller Progress Measures and Separating Automata for Parity Games},
journal = {CoRR},
volume = {abs/2205.00744},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.00744},
doi = {10.48550/ARXIV.2205.00744},
eprinttype = {arXiv},
eprint = {2205.00744},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-00744.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-03243,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
title = {Alternating Good-for-MDP Automata},
journal = {CoRR},
volume = {abs/2205.03243},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.03243},
doi = {10.48550/ARXIV.2205.03243},
eprinttype = {arXiv},
eprint = {2205.03243},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-03243.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-11430,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
title = {Recursive Reinforcement Learning},
journal = {CoRR},
volume = {abs/2206.11430},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.11430},
doi = {10.48550/ARXIV.2206.11430},
eprinttype = {arXiv},
eprint = {2206.11430},
timestamp = {Mon, 27 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-11430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-11000,
author = {R{\"{u}}diger Ehlers and
Sven Schewe},
title = {Natural Colors of Infinite Words},
journal = {CoRR},
volume = {abs/2207.11000},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.11000},
doi = {10.48550/ARXIV.2207.11000},
eprinttype = {arXiv},
eprint = {2207.11000},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-11000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Schewe021,
author = {Sven Schewe and
Lijun Zhang},
title = {Editorial - Special issue on Concurrency Theory {(CONCUR} 2018)},
journal = {J. Comput. Syst. Sci.},
volume = {119},
pages = {19--20},
year = {2021},
url = {https://doi.org/10.1016/j.jcss.2021.02.001},
doi = {10.1016/J.JCSS.2021.02.001},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Schewe021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LamprouMSSZ21,
author = {Ioannis Lamprou and
Russell Martin and
Sven Schewe and
Ioannis Sigalas and
Vassilis Zissimopoulos},
title = {Maximum rooted connected expansion},
journal = {Theor. Comput. Sci.},
volume = {873},
pages = {25--37},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2021.04.022},
doi = {10.1016/J.TCS.2021.04.022},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/LamprouMSSZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HahnPSSTW20,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Model-Free Reinforcement Learning for Branching Markov Decision Processes},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {651--673},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_30},
doi = {10.1007/978-3-030-81688-9\_30},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HahnPSSTW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/0001HSD021,
author = {Xingyu Zhao and
Wei Huang and
Sven Schewe and
Yi Dong and
Xiaowei Huang},
title = {Detecting Operational Adversarial Examples for Reliable Deep Learning},
booktitle = {51st Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2021, Taipei, Taiwan, June 21-24, 2021 - Supplemental
Volume},
pages = {5--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/DSN-S52858.2021.00013},
doi = {10.1109/DSN-S52858.2021.00013},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/0001HSD021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HahnPSSTW21,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {Model-Free Reinforcement Learning for Lexicographic Omega-Regular
Objectives},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {142--159},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_8},
doi = {10.1007/978-3-030-90870-6\_8},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/HahnPSSTW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MayrSTW21,
author = {Richard Mayr and
Sven Schewe and
Patrick Totzke and
Dominik Wojtczak},
editor = {Stefan Kiefer and
Christine Tasson},
title = {Simple Stochastic Games with Almost-Sure Energy-Parity Objectives
are in {NP} and coNP},
booktitle = {Foundations of Software Science and Computation Structures - 24th
International Conference, {FOSSACS} 2021, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2021,
Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12650},
pages = {427--447},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71995-1\_22},
doi = {10.1007/978-3-030-71995-1\_22},
timestamp = {Fri, 14 May 2021 08:34:11 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/MayrSTW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhaoHBCFS021,
author = {Xingyu Zhao and
Wei Huang and
Alec Banks and
Victoria Cox and
David Flynn and
Sven Schewe and
Xiaowei Huang},
editor = {Hu{\'{a}}scar Espinoza and
John A. McDermid and
Xiaowei Huang and
Mauricio Castillo{-}Effen and
Xin Cynthia Chen and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Se{\'{a}}n {\'{O}} h{\'{E}}igeartaigh and
Richard Mallah and
Gabriel Pedroza},
title = {Assessing the Reliability of Deep Learning Classifiers Through Robustness
Evaluation and Operational Profiles},
booktitle = {Proceedings of the Workshop on Artificial Intelligence Safety 2021
co-located with the Thirtieth International Joint Conference on Artificial
Intelligence {(IJCAI} 2021), Virtual, August, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2916},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2916/paper\_16.pdf},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ZhaoHBCFS021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ems/21/WilkeS21,
author = {Thomas Wilke and
Sven Schewe},
editor = {Jean{-}{\'{E}}ric Pin},
title = {{\(\omega\)}-Automata},
booktitle = {Handbook of Automata Theory},
pages = {189--234},
publisher = {European Mathematical Society Publishing House, Z{\"{u}}rich,
Switzerland},
year = {2021},
url = {https://doi.org/10.4171/Automata-1/6},
doi = {10.4171/AUTOMATA-1/6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/ems/21/WilkeS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-06989,
author = {Richard Mayr and
Sven Schewe and
Patrick Totzke and
Dominik Wojtczak},
title = {Simple Stochastic Games with Almost-Sure Energy-Parity Objectives
are in {NP} and coNP},
journal = {CoRR},
volume = {abs/2101.06989},
year = {2021},
url = {https://arxiv.org/abs/2101.06989},
eprinttype = {arXiv},
eprint = {2101.06989},
timestamp = {Fri, 22 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-06989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-03704,
author = {Nicolas Berthier and
Amany Alshareef and
James Sharp and
Sven Schewe and
Xiaowei Huang},
title = {Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian
Approximation of Hidden Features},
journal = {CoRR},
volume = {abs/2103.03704},
year = {2021},
url = {https://arxiv.org/abs/2103.03704},
eprinttype = {arXiv},
eprint = {2103.03704},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-03704.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-06015,
author = {Xingyu Zhao and
Wei Huang and
Sven Schewe and
Yi Dong and
Xiaowei Huang},
title = {Detecting Operational Adversarial Examples for Reliable Deep Learning},
journal = {CoRR},
volume = {abs/2104.06015},
year = {2021},
url = {https://arxiv.org/abs/2104.06015},
eprinttype = {arXiv},
eprint = {2104.06015},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-06015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-09717,
author = {Karoliina Lehtinen and
Pawel Parys and
Sven Schewe and
Dominik Wojtczak},
title = {A Recursive Approach to Solving Parity Games in Quasipolynomial Time},
journal = {CoRR},
volume = {abs/2104.09717},
year = {2021},
url = {https://arxiv.org/abs/2104.09717},
eprinttype = {arXiv},
eprint = {2104.09717},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-09717.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-01738,
author = {Massimo Benerecetti and
Daniele Dell'Erba and
Fabio Mogavero and
Sven Schewe and
Dominik Wojtczak},
title = {Priority Promotion with Parysian Flair},
journal = {CoRR},
volume = {abs/2105.01738},
year = {2021},
url = {https://arxiv.org/abs/2105.01738},
eprinttype = {arXiv},
eprint = {2105.01738},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-01738.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-01258,
author = {Xingyu Zhao and
Wei Huang and
Alec Banks and
Victoria Cox and
David Flynn and
Sven Schewe and
Xiaowei Huang},
title = {Assessing the Reliability of Deep Learning Classifiers Through Robustness
Evaluation and Operational Profiles},
journal = {CoRR},
volume = {abs/2106.01258},
year = {2021},
url = {https://arxiv.org/abs/2106.01258},
eprinttype = {arXiv},
eprint = {2106.01258},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-01258.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-06777,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
title = {Model-free Reinforcement Learning for Branching Markov Decision Processes},
journal = {CoRR},
volume = {abs/2106.06777},
year = {2021},
url = {https://arxiv.org/abs/2106.06777},
eprinttype = {arXiv},
eprint = {2106.06777},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-06777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-09161,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
title = {Mungojerrie: Reinforcement Learning of Linear-Time Objectives},
journal = {CoRR},
volume = {abs/2106.09161},
year = {2021},
url = {https://arxiv.org/abs/2106.09161},
eprinttype = {arXiv},
eprint = {2106.09161},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-09161.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-00646,
author = {Xingyu Zhao and
Wei Huang and
Vibhav Bharti and
Yi Dong and
Victoria Cox and
Alec Banks and
Sen Wang and
Sven Schewe and
Xiaowei Huang},
title = {Reliability Assessment and Safety Arguments for Machine Learning Components
in Assuring Learning-Enabled Autonomous Systems},
journal = {CoRR},
volume = {abs/2112.00646},
year = {2021},
url = {https://arxiv.org/abs/2112.00646},
eprinttype = {arXiv},
eprint = {2112.00646},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-00646.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LamprouMS20,
author = {Ioannis Lamprou and
Russell Martin and
Sven Schewe},
title = {Fast two-robot disk evacuation with wireless communication},
journal = {Theor. Comput. Sci.},
volume = {846},
pages = {38--60},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2020.09.019},
doi = {10.1016/J.TCS.2020.09.019},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/LamprouMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HahnPSS0W20,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Dang Van Hung and
Oleg Sokolsky},
title = {Faithful and Effective Reward Schemes for Model-Free Reinforcement
Learning of Omega-Regular Objectives},
booktitle = {Automated Technology for Verification and Analysis - 18th International
Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12302},
pages = {108--124},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59152-6\_6},
doi = {10.1007/978-3-030-59152-6\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/HahnPSS0W20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HahnPSS0W20,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Model-Free Reinforcement Learning for Stochastic Parity Games},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {21:1--21:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.21},
doi = {10.4230/LIPICS.CONCUR.2020.21},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HahnPSS0W20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Schewe20,
author = {Sven Schewe},
editor = {Nitin Saxena and
Sunil Simon},
title = {Minimising Good-For-Games Automata Is NP-Complete},
booktitle = {40th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2020, December 14-18, 2020,
{BITS} Pilani, {K} {K} Birla Goa Campus, Goa, India (Virtual Conference)},
series = {LIPIcs},
volume = {182},
pages = {56:1--56:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2020.56},
doi = {10.4230/LIPICS.FSTTCS.2020.56},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Schewe20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/JinYZ0S020,
author = {Gaojie Jin and
Xinping Yi and
Liang Zhang and
Lijun Zhang and
Sven Schewe and
Xiaowei Huang},
editor = {Hugo Larochelle and
Marc'Aurelio Ranzato and
Raia Hadsell and
Maria{-}Florina Balcan and
Hsuan{-}Tien Lin},
title = {How does Weight Correlation Affect Generalisation Ability of Deep
Neural Networks?},
booktitle = {Advances in Neural Information Processing Systems 33: Annual Conference
on Neural Information Processing Systems 2020, NeurIPS 2020, December
6-12, 2020, virtual},
year = {2020},
url = {https://proceedings.neurips.cc/paper/2020/hash/f48c04ffab49ff0e5d1176244fdfb65c-Abstract.html},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/JinYZ0S020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HahnPSS0W20,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Armin Biere and
David Parker},
title = {Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement
Learning},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12078},
pages = {306--323},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45190-5\_17},
doi = {10.1007/978-3-030-45190-5\_17},
timestamp = {Fri, 14 May 2021 08:34:17 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HahnPSS0W20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-05977,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
title = {Reward Shaping for Reinforcement Learning with Omega-Regular Objectives},
journal = {CoRR},
volume = {abs/2001.05977},
year = {2020},
url = {https://arxiv.org/abs/2001.05977},
eprinttype = {arXiv},
eprint = {2001.05977},
timestamp = {Mon, 20 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-05977.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-11979,
author = {Sven Schewe},
title = {Minimising Good-for-Games automata is {NP} complete},
journal = {CoRR},
volume = {abs/2003.11979},
year = {2020},
url = {https://arxiv.org/abs/2003.11979},
eprinttype = {arXiv},
eprint = {2003.11979},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-11979.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-05983,
author = {Gaojie Jin and
Xinping Yi and
Liang Zhang and
Lijun Zhang and
Sven Schewe and
Xiaowei Huang},
title = {How does Weight Correlation Affect the Generalisation Ability of Deep
Neural Networks},
journal = {CoRR},
volume = {abs/2010.05983},
year = {2020},
url = {https://arxiv.org/abs/2010.05983},
eprinttype = {arXiv},
eprint = {2010.05983},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-05983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ScheweWZ19,
author = {Sven Schewe and
Alexander Weinert and
Martin Zimmermann},
title = {Parity Games with Weights},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {3},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(3:20)2019},
doi = {10.23638/LMCS-15(3:20)2019},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/ScheweWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FearnleyJKSSW19,
author = {John Fearnley and
Sanjay Jain and
Bart de Keijzer and
Sven Schewe and
Frank Stephan and
Dominik Wojtczak},
title = {An ordered approach to solving parity games in quasi-polynomial time
and quasi-linear space},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {21},
number = {3},
pages = {325--349},
year = {2019},
url = {https://doi.org/10.1007/s10009-019-00509-3},
doi = {10.1007/S10009-019-00509-3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FearnleyJKSSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LamprouMS19,
author = {Ioannis Lamprou and
Russell Martin and
Sven Schewe},
title = {Eternally dominating large grids},
journal = {Theor. Comput. Sci.},
volume = {794},
pages = {27--46},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.09.008},
doi = {10.1016/J.TCS.2018.09.008},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/LamprouMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ScheweSW19,
author = {Sven Schewe and
Thomas Schneider and
Jef Wijsen},
title = {Special issue on Temporal Representation and Reasoning {(TIME} 2017)},
journal = {Theor. Comput. Sci.},
volume = {797},
pages = {1},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2019.10.036},
doi = {10.1016/J.TCS.2019.10.036},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ScheweSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snr/HahnPSS0W19,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Sriram Sankaranarayanan and
Sadegh Soudjani},
title = {Limit reachability for model-free reinforcement learning of {\(\omega\)}-regular
objectives},
booktitle = {Proceedings of the Fifth International Workshop on Symbolic-Numeric
methods for Reasoning about {CPS} and IoT, {SNR} '19, Montreal, Quebec,
Canada, April 15, 2019},
pages = {16--18},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3313149.3313369},
doi = {10.1145/3313149.3313369},
timestamp = {Wed, 23 Mar 2022 15:00:14 +0100},
biburl = {https://dblp.org/rec/conf/snr/HahnPSS0W19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HahnPSSTW19,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Omega-Regular Objectives in Model-Free Reinforcement Learning},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11427},
pages = {395--412},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17462-0\_27},
doi = {10.1007/978-3-030-17462-0\_27},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/HahnPSSTW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-11810,
author = {Karoliina Lehtinen and
Sven Schewe and
Dominik Wojtczak},
title = {Improving the complexity of Parys' recursive algorithm},
journal = {CoRR},
volume = {abs/1904.11810},
year = {2019},
url = {http://arxiv.org/abs/1904.11810},
eprinttype = {arXiv},
eprint = {1904.11810},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-11810.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-05081,
author = {Ernst Moritz Hahn and
Mateo Perez and
Fabio Somenzi and
Ashutosh Trivedi and
Sven Schewe and
Dominik Wojtczak},
title = {Good-for-MDPs Automata},
journal = {CoRR},
volume = {abs/1909.05081},
year = {2019},
url = {http://arxiv.org/abs/1909.05081},
eprinttype = {arXiv},
eprint = {1909.05081},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/games/GuptaS18,
author = {Anshul Gupta and
Sven Schewe},
title = {Buying Optimal Payoffs in Bi-Matrix Games},
journal = {Games},
volume = {9},
number = {3},
pages = {40},
year = {2018},
url = {https://doi.org/10.3390/g9030040},
doi = {10.3390/G9030040},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/games/GuptaS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GainerHS18,
author = {Paul Gainer and
Ernst Moritz Hahn and
Sven Schewe},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Accelerated Model Checking of Parametric Markov Chains},
booktitle = {Automated Technology for Verification and Analysis - 16th International
Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11138},
pages = {300--316},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_18},
doi = {10.1007/978-3-030-01090-4\_18},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/GainerHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ScheweW018,
author = {Sven Schewe and
Alexander Weinert and
Martin Zimmermann},
editor = {Dan R. Ghica and
Achim Jung},
title = {Parity Games with Weights},
booktitle = {27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018,
September 4-7, 2018, Birmingham, {UK}},
series = {LIPIcs},
volume = {119},
pages = {36:1--36:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CSL.2018.36},
doi = {10.4230/LIPICS.CSL.2018.36},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/ScheweW018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LamprouMSSZ18,
author = {Ioannis Lamprou and
Russell Martin and
Sven Schewe and
Ioannis Sigalas and
Vassilis Zissimopoulos},
editor = {Igor Potapov and
Paul G. Spirakis and
James Worrell},
title = {Maximum Rooted Connected Expansion},
booktitle = {43rd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2018, August 27-31, 2018, Liverpool, {UK}},
series = {LIPIcs},
volume = {117},
pages = {25:1--25:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2018.25},
doi = {10.4230/LIPICS.MFCS.2018.25},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LamprouMSSZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/GainerHS18,
author = {Paul Gainer and
Ernst Moritz Hahn and
Sven Schewe},
editor = {Annabelle McIver and
Andr{\'{a}}s Horv{\'{a}}th},
title = {Incremental Verification of Parametric and Reconfigurable Markov Chains},
booktitle = {Quantitative Evaluation of Systems - 15th International Conference,
{QEST} 2018, Beijing, China, September 4-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11024},
pages = {140--156},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99154-2\_9},
doi = {10.1007/978-3-319-99154-2\_9},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/GainerHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/LiTZS18,
author = {Yong Li and
Andrea Turrini and
Lijun Zhang and
Sven Schewe},
editor = {Isil Dillig and
Jens Palsberg},
title = {Learning to Complement B{\"{u}}chi Automata},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 19th International
Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10747},
pages = {313--335},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73721-8\_15},
doi = {10.1007/978-3-319-73721-8\_15},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/LiTZS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2018,
editor = {Sven Schewe and
Lijun Zhang},
title = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-087-3},
isbn = {978-3-95977-087-3},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-01872,
author = {Paul Gainer and
Ernst Moritz Hahn and
Sven Schewe},
title = {Incremental Verification of Parametric and Reconfigurable Markov Chains},
journal = {CoRR},
volume = {abs/1804.01872},
year = {2018},
url = {http://arxiv.org/abs/1804.01872},
eprinttype = {arXiv},
eprint = {1804.01872},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-01872.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-06168,
author = {Sven Schewe and
Alexander Weinert and
Martin Zimmermann},
title = {Parity Games with Weights},
journal = {CoRR},
volume = {abs/1804.06168},
year = {2018},
url = {http://arxiv.org/abs/1804.06168},
eprinttype = {arXiv},
eprint = {1804.06168},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-06168.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-05672,
author = {Paul Gainer and
Ernst Moritz Hahn and
Sven Schewe},
title = {Accelerated Model Checking of Parametric Markov Chains},
journal = {CoRR},
volume = {abs/1805.05672},
year = {2018},
url = {http://arxiv.org/abs/1805.05672},
eprinttype = {arXiv},
eprint = {1805.05672},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-05672.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-09549,
author = {Ioannis Lamprou and
Russell Martin and
Sven Schewe and
Ioannis Sigalas and
Vassilis Zissimopoulos},
title = {Maximum Rooted Connected Expansion},
journal = {CoRR},
volume = {abs/1806.09549},
year = {2018},
url = {http://arxiv.org/abs/1806.09549},
eprinttype = {arXiv},
eprint = {1806.09549},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-09549.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-00950,
author = {Ernst Moritz Hahn and
Mateo Perez and
Sven Schewe and
Fabio Somenzi and
Ashutosh Trivedi and
Dominik Wojtczak},
title = {Omega-Regular Objectives in Model-Free Reinforcement Learning},
journal = {CoRR},
volume = {abs/1810.00950},
year = {2018},
url = {http://arxiv.org/abs/1810.00950},
eprinttype = {arXiv},
eprint = {1810.00950},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-00950.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HuangSW17,
author = {Chung{-}Hao Huang and
Sven Schewe and
Farn Wang},
title = {Model-checking iterated games},
journal = {Acta Informatica},
volume = {54},
number = {7},
pages = {625--654},
year = {2017},
url = {https://doi.org/10.1007/s00236-016-0277-y},
doi = {10.1007/S00236-016-0277-Y},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/HuangSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Schewe17,
author = {Sven Schewe},
title = {Solving parity games in big steps},
journal = {J. Comput. Syst. Sci.},
volume = {84},
pages = {243--262},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2016.10.002},
doi = {10.1016/J.JCSS.2016.10.002},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/Schewe17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ciac/LamprouMS17,
author = {Ioannis Lamprou and
Russell Martin and
Sven Schewe},
editor = {Dimitris Fotakis and
Aris Pagourtzis and
Vangelis Th. Paschos},
title = {Perpetually Dominating Large Grids},
booktitle = {Algorithms and Complexity - 10th International Conference, {CIAC}
2017, Athens, Greece, May 24-26, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10236},
pages = {393--404},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57586-5\_33},
doi = {10.1007/978-3-319-57586-5\_33},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ciac/LamprouMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MousaSW17,
author = {Mahmoud A. A. Mousa and
Sven Schewe and
Dominik Wojtczak},
editor = {Alessandro Abate and
Gilles Geeraerts},
title = {Optimal Control for Multi-mode Systems with Discrete Costs},
booktitle = {Formal Modeling and Analysis of Timed Systems - 15th International
Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10419},
pages = {77--96},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65765-3\_5},
doi = {10.1007/978-3-319-65765-3\_5},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/MousaSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MayrSTW17,
author = {Richard Mayr and
Sven Schewe and
Patrick Totzke and
Dominik Wojtczak},
title = {MDPs with energy-parity objectives},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005131},
doi = {10.1109/LICS.2017.8005131},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MayrSTW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/HusienSB17,
author = {Idress Husien and
Sven Schewe and
Nicolas Berthier},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {PranCS: {A} Protocol and Discrete Controller Synthesis Tool},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {337--349},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_20},
doi = {10.1007/978-3-319-69483-2\_20},
timestamp = {Tue, 13 Apr 2021 10:56:13 +0200},
biburl = {https://dblp.org/rec/conf/setta/HusienSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/FearnleyJS0W17,
author = {John Fearnley and
Sanjay Jain and
Sven Schewe and
Frank Stephan and
Dominik Wojtczak},
editor = {Hakan Erdogmus and
Klaus Havelund},
title = {An ordered approach to solving parity games in quasi polynomial time
and quasi linear space},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
2017},
pages = {112--121},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092282.3092286},
doi = {10.1145/3092282.3092286},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/FearnleyJS0W17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/HusienBS17,
author = {Idress Husien and
Nicolas Berthier and
Sven Schewe},
editor = {Hakan Erdogmus and
Klaus Havelund},
title = {A hot method for synthesising cool controllers},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
2017},
pages = {122--131},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092282.3092299},
doi = {10.1145/3092282.3092299},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/HusienBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HahnST017,
author = {Ernst Moritz Hahn and
Sven Schewe and
Andrea Turrini and
Lijun Zhang},
editor = {Ahmed Bouajjani and
David Monniaux},
title = {Synthesising Strategy Improvement and Recursive Algorithms for Solving
2.5 Player Parity Games},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10145},
pages = {266--287},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52234-0\_15},
doi = {10.1007/978-3-319-52234-0\_15},
timestamp = {Sat, 09 Apr 2022 12:46:16 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/HahnST017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1711-10636,
author = {Roderick Bloem and
Sven Schewe and
Ayrat Khalimov},
editor = {Dana Fisman and
Swen Jacobs},
title = {CTL* synthesis via {LTL} synthesis},
booktitle = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg,
Germany, 22nd July 2017},
series = {{EPTCS}},
volume = {260},
pages = {4--22},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.260.4},
doi = {10.4204/EPTCS.260.4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-10636.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/time/2017,
editor = {Sven Schewe and
Thomas Schneider and
Jef Wijsen},
title = {24th International Symposium on Temporal Representation and Reasoning,
{TIME} 2017, October 16-18, 2017, Mons, Belgium},
series = {LIPIcs},
volume = {90},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-052-1},
isbn = {978-3-95977-052-1},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MayrSTW17,
author = {Richard Mayr and
Sven Schewe and
Patrick Totzke and
Dominik Wojtczak},
title = {MDPs with Energy-Parity Objectives},
journal = {CoRR},
volume = {abs/1701.02546},
year = {2017},
url = {http://arxiv.org/abs/1701.02546},
eprinttype = {arXiv},
eprint = {1701.02546},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MayrSTW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FearnleyJS0W17,
author = {John Fearnley and
Sanjay Jain and
Sven Schewe and
Frank Stephan and
Dominik Wojtczak},
title = {An Ordered Approach to Solving Parity Games in Quasi Polynomial Time
and Quasi Linear Space},
journal = {CoRR},
volume = {abs/1703.01296},
year = {2017},
url = {http://arxiv.org/abs/1703.01296},
eprinttype = {arXiv},
eprint = {1703.01296},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FearnleyJS0W17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MousaSW17,
author = {Mahmoud A. A. Mousa and
Sven Schewe and
Dominik Wojtczak},
title = {Optimal Control for Multi-Mode Systems with Discrete Costs},
journal = {CoRR},
volume = {abs/1706.09886},
year = {2017},
url = {http://arxiv.org/abs/1706.09886},
eprinttype = {arXiv},
eprint = {1706.09886},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MousaSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FearnleyRS016,
author = {John Fearnley and
Markus N. Rabe and
Sven Schewe and
Lijun Zhang},
title = {Efficient approximation of optimal control for continuous-time Markov
games},
journal = {Inf. Comput.},
volume = {247},
pages = {106--129},
year = {2016},
url = {https://doi.org/10.1016/j.ic.2015.12.002},
doi = {10.1016/J.IC.2015.12.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FearnleyRS016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MuschollS16,
author = {Anca Muscholl and
Sven Schewe},
title = {Controlling loosely cooperating processes},
journal = {Theor. Comput. Sci.},
volume = {611},
pages = {136--141},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2015.07.044},
doi = {10.1016/J.TCS.2015.07.044},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MuschollS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HuangPSW16,
author = {Chung{-}Hao Huang and
Doron A. Peled and
Sven Schewe and
Farn Wang},
title = {A Game-Theoretic Foundation for the Maximum Software Resilience against
Dense Errors},
journal = {{IEEE} Trans. Software Eng.},
volume = {42},
number = {7},
pages = {605--622},
year = {2016},
url = {https://doi.org/10.1109/TSE.2015.2510001},
doi = {10.1109/TSE.2015.2510001},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HuangPSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HahnSTZ16,
author = {Ernst Moritz Hahn and
Sven Schewe and
Andrea Turrini and
Lijun Zhang},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {A Simple Algorithm for Solving Qualitative Probabilistic Parity Games},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {291--311},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_16},
doi = {10.1007/978-3-319-41540-6\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HahnSTZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HusienS16,
author = {Idress Husien and
Sven Schewe},
editor = {Rocco De Nicola and
Eva K{\"{u}}hn},
title = {Program Generation Using Simulated Annealing and Model Checking},
booktitle = {Software Engineering and Formal Methods - 14th International Conference,
{SEFM} 2016, Held as Part of {STAF} 2016, Vienna, Austria, July 4-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9763},
pages = {155--171},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41591-8\_11},
doi = {10.1007/978-3-319-41591-8\_11},
timestamp = {Tue, 15 Nov 2022 15:22:36 +0100},
biburl = {https://dblp.org/rec/conf/sefm/HusienS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GuptaSTDP16,
author = {Anshul Gupta and
Sven Schewe and
Ashutosh Trivedi and
Sai Krishna Deepak Maram and
Bharath Kumar Padarthi},
editor = {Rocco De Nicola and
Eva K{\"{u}}hn},
title = {Incentive Stackelberg Mean-Payoff Games},
booktitle = {Software Engineering and Formal Methods - 14th International Conference,
{SEFM} 2016, Held as Part of {STAF} 2016, Vienna, Austria, July 4-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9763},
pages = {304--320},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41591-8\_21},
doi = {10.1007/978-3-319-41591-8\_21},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/GuptaSTDP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BlahoudekHSST16,
author = {Frantisek Blahoudek and
Matthias Heizmann and
Sven Schewe and
Jan Strejcek and
Ming{-}Hsien Tsai},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Complementing Semi-deterministic B{\"{u}}chi Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {770--787},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_49},
doi = {10.1007/978-3-662-49674-9\_49},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BlahoudekHSST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/MousaSW16,
author = {Mahmoud A. A. Mousa and
Sven Schewe and
Dominik Wojtczak},
editor = {Curtis E. Dyreson and
Michael R. Hansen and
Luke Hunsberger},
title = {Optimal Control for Simple Linear Hybrid Systems},
booktitle = {23rd International Symposium on Temporal Representation and Reasoning,
{TIME} 2016, Kongens Lyngby, Denmark, October 17-19, 2016},
pages = {12--20},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/TIME.2016.9},
doi = {10.1109/TIME.2016.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/MousaSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/LamprouMS16,
author = {Ioannis Lamprou and
Russell Martin and
Sven Schewe},
editor = {Cyril Gavoille and
David Ilcinkas},
title = {Fast Two-Robot Disk Evacuation with Wireless Communication},
booktitle = {Distributed Computing - 30th International Symposium, {DISC} 2016,
Paris, France, September 27-29, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9888},
pages = {1--15},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53426-7\_1},
doi = {10.1007/978-3-662-53426-7\_1},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/LamprouMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LamprouMS16,
author = {Ioannis Lamprou and
Russell Martin and
Sven Schewe},
title = {Fast Two-Robot Disk Evacuation with Wireless Communication},
journal = {CoRR},
volume = {abs/1604.04217},
year = {2016},
url = {http://arxiv.org/abs/1604.04217},
eprinttype = {arXiv},
eprint = {1604.04217},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LamprouMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HahnST016,
author = {Ernst Moritz Hahn and
Sven Schewe and
Andrea Turrini and
Lijun Zhang},
title = {Synthesising Strategy Improvement and Recursive Algorithms for Solving
2.5 Player Parity Games},
journal = {CoRR},
volume = {abs/1607.01474},
year = {2016},
url = {http://arxiv.org/abs/1607.01474},
eprinttype = {arXiv},
eprint = {1607.01474},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HahnST016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LamprouMS16a,
author = {Ioannis Lamprou and
Russell Martin and
Sven Schewe},
title = {Perpetually Dominating Large Grids},
journal = {CoRR},
volume = {abs/1611.08204},
year = {2016},
url = {http://arxiv.org/abs/1611.08204},
eprinttype = {arXiv},
eprint = {1611.08204},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LamprouMS16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FearnleyPS15,
author = {John Fearnley and
Doron A. Peled and
Sven Schewe},
title = {Synthesis of succinct systems},
journal = {J. Comput. Syst. Sci.},
volume = {81},
number = {7},
pages = {1171--1193},
year = {2015},
url = {https://doi.org/10.1016/j.jcss.2015.02.005},
doi = {10.1016/J.JCSS.2015.02.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FearnleyPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WangSW15,
author = {Farn Wang and
Sven Schewe and
Jung{-}Hsuan Wu},
title = {Complexity of node coverage games},
journal = {Theor. Comput. Sci.},
volume = {576},
pages = {45--60},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.02.002},
doi = {10.1016/J.TCS.2015.02.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WangSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/WangSH15,
author = {Farn Wang and
Sven Schewe and
Chung{-}Hao Huang},
title = {An Extension of {ATL} with Strategy Interaction},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {37},
number = {3},
pages = {9:1--9:41},
year = {2015},
url = {https://doi.org/10.1145/2734117},
doi = {10.1145/2734117},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/WangSH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GuptaS15,
author = {Anshul Gupta and
Sven Schewe},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {It Pays to Pay in Bi-Matrix Games: a Rational Explanation for Bribery},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {1361--1369},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2773327},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/GuptaS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HahnLST015,
author = {Ernst Moritz Hahn and
Guangyuan Li and
Sven Schewe and
Andrea Turrini and
Lijun Zhang},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Lazy Probabilistic Model Checking without Determinisation},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {354--367},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.354},
doi = {10.4230/LIPICS.CONCUR.2015.354},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/HahnLST015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GenestPS15,
author = {Blaise Genest and
Doron A. Peled and
Sven Schewe},
editor = {Andrew M. Pitts},
title = {Knowledge = Observation + Memory + Computation},
booktitle = {Foundations of Software Science and Computation Structures - 18th
International Conference, FoSSaCS 2015, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2015,
London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9034},
pages = {215--229},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46678-0\_14},
doi = {10.1007/978-3-662-46678-0\_14},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/GenestPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BhaveJKST15,
author = {Devendra Bhave and
Sagar Jha and
Shankara Narayanan Krishna and
Sven Schewe and
Ashutosh Trivedi},
editor = {Antoine Girard and
Sriram Sankaranarayanan},
title = {Bounded-rate multi-mode systems based motion planning},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems:
Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
pages = {41--50},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2728606.2728616},
doi = {10.1145/2728606.2728616},
timestamp = {Fri, 06 Sep 2019 10:57:13 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BhaveJKST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ScheweTV15,
author = {Sven Schewe and
Ashutosh Trivedi and
Thomas Varghese},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {Symmetric Strategy Improvement},
booktitle = {Automata, Languages, and Programming - 42nd International Colloquium,
{ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9135},
pages = {388--400},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47666-6\_31},
doi = {10.1007/978-3-662-47666-6\_31},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/ScheweTV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BrookPS15,
author = {Alon Brook and
Doron A. Peled and
Sven Schewe},
title = {Local and global fairness in concurrent systems},
booktitle = {13. {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
pages = {2--9},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/MEMCOD.2015.7340461},
doi = {10.1109/MEMCOD.2015.7340461},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/BrookPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GuptaS14c,
author = {Anshul Gupta and
Sven Schewe and
Dominik Wojtczak},
editor = {Javier Esparza and
Enrico Tronci},
title = {Making the Best of Limited Memory in Multi-Player Discounted Sum Games},
booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
pages = {16--30},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193.2},
doi = {10.4204/EPTCS.193.2},
timestamp = {Fri, 09 Apr 2021 18:27:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/GuptaS14c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ScheweTV15,
author = {Sven Schewe and
Ashutosh Trivedi and
Thomas Varghese},
title = {Symmetric Strategy Improvement},
journal = {CoRR},
volume = {abs/1501.06484},
year = {2015},
url = {http://arxiv.org/abs/1501.06484},
eprinttype = {arXiv},
eprint = {1501.06484},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ScheweTV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GuptaDPST15,
author = {Anshul Gupta and
Sai Krishna Deepak Maram and
Bharath Kumar Padarthi and
Sven Schewe and
Ashutosh Trivedi},
title = {Incentive Stackelberg Mean-payoff Games},
journal = {CoRR},
volume = {abs/1511.00188},
year = {2015},
url = {http://arxiv.org/abs/1511.00188},
eprinttype = {arXiv},
eprint = {1511.00188},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GuptaDPST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/PeledS14,
author = {Doron A. Peled and
Sven Schewe},
title = {Editorial: special issue on synthesis},
journal = {Acta Informatica},
volume = {51},
number = {3-4},
pages = {127--128},
year = {2014},
url = {https://doi.org/10.1007/s00236-014-0198-6},
doi = {10.1007/S00236-014-0198-6},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/PeledS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Schewe14,
author = {Sven Schewe},
title = {Distributed synthesis is simply undecidable},
journal = {Inf. Process. Lett.},
volume = {114},
number = {4},
pages = {203--207},
year = {2014},
url = {https://doi.org/10.1016/j.ipl.2013.11.012},
doi = {10.1016/J.IPL.2013.11.012},
timestamp = {Tue, 04 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/Schewe14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HahnLSTZ14,
author = {Ernst Moritz Hahn and
Yi Li and
Sven Schewe and
Andrea Turrini and
Lijun Zhang},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {iscasMc: {A} Web-Based Probabilistic Model Checker},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {312--317},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_22},
doi = {10.1007/978-3-319-06410-9\_22},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/HahnLSTZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ScheweV14,
author = {Sven Schewe and
Thomas Varghese},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Martin Dietzfelbinger and
Zolt{\'{a}}n {\'{E}}sik},
title = {Determinising Parity Automata},
booktitle = {Mathematical Foundations of Computer Science 2014 - 39th International
Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8634},
pages = {486--498},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44522-8\_41},
doi = {10.1007/978-3-662-44522-8\_41},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ScheweV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ScheweV14a,
author = {Sven Schewe and
Thomas Varghese},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Martin Dietzfelbinger and
Zolt{\'{a}}n {\'{E}}sik},
title = {Tight Bounds for Complementing Parity Automata},
booktitle = {Mathematical Foundations of Computer Science 2014 - 39th International
Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8634},
pages = {499--510},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44522-8\_42},
doi = {10.1007/978-3-662-44522-8\_42},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ScheweV14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/GuptaS14,
author = {Anshul Gupta and
Sven Schewe},
editor = {Amedeo Cesta and
Carlo Combi and
Fran{\c{c}}ois Laroussinie},
title = {Quantitative Verification in Rational Environments},
booktitle = {21st International Symposium on Temporal Representation and Reasoning,
{TIME} 2014, Verona, Italy, September 8-10, 2014},
pages = {123--131},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TIME.2014.9},
doi = {10.1109/TIME.2014.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/GuptaS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/birthday/PeledS14,
author = {Doron A. Peled and
Sven Schewe},
editor = {Andrei Voronkov and
Margarita V. Korovina},
title = {Distributed Control Synthesis},
booktitle = {{HOWARD-60:} {A} Festschrift on the Occasion of Howard Barringer's
60th Birthday},
series = {EPiC Series in Computing},
volume = {42},
pages = {271--288},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/4wwx},
doi = {10.29007/4WWX},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/PeledS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ScheweV14,
author = {Sven Schewe and
Thomas Varghese},
title = {Determinising Parity Automata},
journal = {CoRR},
volume = {abs/1401.5394},
year = {2014},
url = {http://arxiv.org/abs/1401.5394},
eprinttype = {arXiv},
eprint = {1401.5394},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ScheweV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ScheweV14a,
author = {Sven Schewe and
Thomas Varghese},
title = {Tight Bounds for Complementing Parity Automata},
journal = {CoRR},
volume = {abs/1406.1090},
year = {2014},
url = {http://arxiv.org/abs/1406.1090},
eprinttype = {arXiv},
eprint = {1406.1090},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ScheweV14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BhaveJKST14,
author = {Devendra Bhave and
Sagar Jha and
Shankara Narayanan Krishna and
Sven Schewe and
Ashutosh Trivedi},
title = {Bounded-Rate Multi-Mode Systems Based Motion Planning},
journal = {CoRR},
volume = {abs/1412.3670},
year = {2014},
url = {http://arxiv.org/abs/1412.3670},
eprinttype = {arXiv},
eprint = {1412.3670},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BhaveJKST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-0221,
author = {John Fearnley and
Sven Schewe},
title = {Time and Space Results for Parity Games with Bounded Treewidth},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {2},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(2:6)2013},
doi = {10.2168/LMCS-9(2:6)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-0221.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FinkbeinerS13,
author = {Bernd Finkbeiner and
Sven Schewe},
title = {Bounded synthesis},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {5-6},
pages = {519--539},
year = {2013},
url = {https://doi.org/10.1007/s10009-012-0228-z},
doi = {10.1007/S10009-012-0228-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FinkbeinerS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RabeS13,
author = {Markus N. Rabe and
Sven Schewe},
title = {Optimal time-abstract schedulers for CTMDPs and continuous-time Markov
games},
journal = {Theor. Comput. Sci.},
volume = {467},
pages = {53--67},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.10.001},
doi = {10.1016/J.TCS.2012.10.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RabeS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KonurFS13,
author = {Savas Konur and
Michael Fisher and
Sven Schewe},
title = {Combined model checking for temporal, probabilistic, and real-time
logics},
journal = {Theor. Comput. Sci.},
volume = {503},
pages = {61--88},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2013.07.012},
doi = {10.1016/J.TCS.2013.07.012},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KonurFS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/NikitinaS13,
author = {Nadeschda Nikitina and
Sven Schewe},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {More is Sometimes Less: Succinctness in {EL}},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {403--414},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_49.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/NikitinaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BrihayePS13,
author = {Thomas Brihaye and
Julie {De Pril} and
Sven Schewe},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Multiplayer Cost Games with Simple Nash Equilibria},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {59--73},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_5},
doi = {10.1007/978-3-642-35722-0\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BrihayePS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MuschollS13,
author = {Anca Muscholl and
Sven Schewe},
editor = {Krishnendu Chatterjee and
Jir{\'{\i}} Sgall},
title = {Unlimited Decidability of Distributed Synthesis with Limited Missing
Knowledge},
booktitle = {Mathematical Foundations of Computer Science 2013 - 38th International
Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8087},
pages = {691--703},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40313-2\_61},
doi = {10.1007/978-3-642-40313-2\_61},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MuschollS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/NikitinaS13,
author = {Nadeschda Nikitina and
Sven Schewe},
editor = {Harith Alani and
Lalana Kagal and
Achille Fokoue and
Paul Groth and
Chris Biemann and
Josiane Xavier Parreira and
Lora Aroyo and
Natasha F. Noy and
Chris Welty and
Krzysztof Janowicz},
title = {Simplifying Description Logic Ontologies},
booktitle = {The Semantic Web - {ISWC} 2013 - 12th International Semantic Web Conference,
Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8218},
pages = {411--426},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41335-3\_26},
doi = {10.1007/978-3-642-41335-3\_26},
timestamp = {Tue, 07 Sep 2021 13:48:20 +0200},
biburl = {https://dblp.org/rec/conf/semweb/NikitinaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HuangSW13,
author = {Chung{-}Hao Huang and
Sven Schewe and
Farn Wang},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Model-Checking Iterated Games},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {154--168},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_11},
doi = {10.1007/978-3-642-36742-7\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HuangSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GuptaS13,
author = {Anshul Gupta and
Sven Schewe},
title = {The benefit of law-making power},
journal = {CoRR},
volume = {abs/1307.2051},
year = {2013},
url = {http://arxiv.org/abs/1307.2051},
eprinttype = {arXiv},
eprint = {1307.2051},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GuptaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HahnLS013,
author = {Ernst Moritz Hahn and
Guangyuan Li and
Sven Schewe and
Lijun Zhang},
title = {Lazy Determinisation for Quantitative Model Checking},
journal = {CoRR},
volume = {abs/1311.2928},
year = {2013},
url = {http://arxiv.org/abs/1311.2928},
eprinttype = {arXiv},
eprint = {1311.2928},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HahnLS013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WangWSH13,
author = {Farn Wang and
Jung{-}Hsuan Wu and
Sven Schewe and
Chung{-}Hao Huang},
title = {Coverage Games for Testing Nondeterministic Systems},
journal = {CoRR},
volume = {abs/1312.6201},
year = {2013},
url = {http://arxiv.org/abs/1312.6201},
eprinttype = {arXiv},
eprint = {1312.6201},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WangWSH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ScheweV12,
author = {Sven Schewe and
Thomas Varghese},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {Tight Bounds for the Determinisation and Complementation of Generalised
B{\"{u}}chi Automata},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {42--56},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_5},
doi = {10.1007/978-3-642-33386-6\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/ScheweV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FearnleyPS12,
author = {John Fearnley and
Doron A. Peled and
Sven Schewe},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {Synthesis of Succinct Systems},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {208--222},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_18},
doi = {10.1007/978-3-642-33386-6\_18},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/FearnleyPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BertrandFS12,
author = {Nathalie Bertrand and
John Fearnley and
Sven Schewe},
editor = {Patrick C{\'{e}}gielski and
Arnaud Durand},
title = {Bounded Satisfiability for {PCTL}},
booktitle = {Computer Science Logic (CSL'12) - 26th International Workshop/21st
Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau,
France},
series = {LIPIcs},
volume = {16},
pages = {92--106},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.CSL.2012.92},
doi = {10.4230/LIPICS.CSL.2012.92},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/BertrandFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BertrandS12,
author = {Nathalie Bertrand and
Sven Schewe},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Playing Optimally on Timed Automata with Random Delays},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {43--58},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_5},
doi = {10.1007/978-3-642-33365-1\_5},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/BertrandS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FearnleyS12,
author = {John Fearnley and
Sven Schewe},
editor = {Artur Czumaj and
Kurt Mehlhorn and
Andrew M. Pitts and
Roger Wattenhofer},
title = {Time and Parallelizability Results for Parity Games with Bounded Treewidth},
booktitle = {Automata, Languages, and Programming - 39th International Colloquium,
{ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7392},
pages = {189--200},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31585-5\_20},
doi = {10.1007/978-3-642-31585-5\_20},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FearnleyS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2449,
author = {Chung{-}Hao Huang and
Doron A. Peled and
Sven Schewe and
Farn Wang},
editor = {Marco Faella and
Aniello Murano},
title = {Rapid Recovery for Systems with Scarce Faults},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {15--28},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.2},
doi = {10.4204/EPTCS.96.2},
timestamp = {Wed, 12 Sep 2018 01:05:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2449.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1207-0554,
editor = {Doron A. Peled and
Sven Schewe},
title = {Proceedings First Workshop on Synthesis, {SYNT} 2012, Berkeley, California,
USA, 7th and 8th July 2012},
series = {{EPTCS}},
volume = {84},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.84},
doi = {10.4204/EPTCS.84},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-0554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-5449,
author = {John Fearnley and
Doron A. Peled and
Sven Schewe},
title = {Synthesis of Succinct Systems},
journal = {CoRR},
volume = {abs/1202.5449},
year = {2012},
url = {http://arxiv.org/abs/1202.5449},
eprinttype = {arXiv},
eprint = {1202.5449},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-5449.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-0469,
author = {Nathalie Bertrand and
John Fearnley and
Sven Schewe},
title = {Bounded Satisfiability for {PCTL}},
journal = {CoRR},
volume = {abs/1204.0469},
year = {2012},
url = {http://arxiv.org/abs/1204.0469},
eprinttype = {arXiv},
eprint = {1204.0469},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-0469.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-3548,
author = {Thomas Brihaye and
Julie {De Pril} and
Sven Schewe},
title = {Multiplayer Cost Games with Simple Nash Equilibria},
journal = {CoRR},
volume = {abs/1210.3548},
year = {2012},
url = {http://arxiv.org/abs/1210.3548},
eprinttype = {arXiv},
eprint = {1210.3548},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-3548.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/RabeS11,
author = {Markus N. Rabe and
Sven Schewe},
title = {Finite optimal control for time-bounded reachability in CTMDPs and
continuous-time Markov games},
journal = {Acta Informatica},
volume = {48},
number = {5-6},
pages = {291--315},
year = {2011},
url = {https://doi.org/10.1007/s00236-011-0140-0},
doi = {10.1007/S00236-011-0140-0},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/RabeS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KatzPS11,
author = {Gal Katz and
Doron A. Peled and
Sven Schewe},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {The Buck Stops Here: Order, Chance, and Coordination in Distributed
Control},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {422--431},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_31},
doi = {10.1007/978-3-642-24372-1\_31},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/KatzPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KatzPS11,
author = {Gal Katz and
Doron A. Peled and
Sven Schewe},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Synthesis of Distributed Control through Knowledge Accumulation},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {510--525},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_41},
doi = {10.1007/978-3-642-22110-1\_41},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/KatzPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FearnleyRSZ11,
author = {John Fearnley and
Markus N. Rabe and
Sven Schewe and
Lijun Zhang},
editor = {Supratik Chakraborty and
Amit Kumar},
title = {Efficient Approximation of Optimal Control for Continuous-Time Markov
Games},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2011, December 12-14, 2011,
Mumbai, India},
series = {LIPIcs},
volume = {13},
pages = {399--410},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2011.399},
doi = {10.4230/LIPICS.FSTTCS.2011.399},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/FearnleyRSZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ScheweT11,
author = {Sven Schewe and
Cong Tian},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Synthesising Classic and Interval Temporal Logic},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {64--71},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.19},
doi = {10.1109/TIME.2011.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/ScheweT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1111-3106,
author = {Doron A. Peled and
Sven Schewe},
editor = {Fang Yu and
Chao Wang},
title = {Practical Distributed Control Synthesis},
booktitle = {Proceedings 13th International Workshop on Verification of Infinite-State
Systems, {INFINITY} 2011, Taipei, Taiwan, 10th October 2011},
series = {{EPTCS}},
volume = {73},
pages = {2--17},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.73.2},
doi = {10.4204/EPTCS.73.2},
timestamp = {Thu, 23 Dec 2021 10:30:13 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-3106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/FinkbeinerPS10,
author = {Bernd Finkbeiner and
Hans{-}J{\"{o}}rg Peter and
Sven Schewe},
title = {Synthesising certificates in networks of timed automata},
journal = {{IET} Softw.},
volume = {4},
number = {3},
pages = {222--235},
year = {2010},
url = {https://doi.org/10.1049/iet-sen.2009.0047},
doi = {10.1049/IET-SEN.2009.0047},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/FinkbeinerPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/Schewe10,
author = {Sven Schewe},
title = {Synthese Verteilter Systeme (Synthesis of Distributed Systems)},
journal = {it Inf. Technol.},
volume = {52},
number = {2},
pages = {120--124},
year = {2010},
url = {https://doi.org/10.1524/itit.2010.0581},
doi = {10.1524/ITIT.2010.0581},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/Schewe10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FinkbeinerS10,
author = {Bernd Finkbeiner and
Sven Schewe},
editor = {Anuj Dawar and
Helmut Veith},
title = {Coordination Logic},
booktitle = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th
Annual Conference of the EACSL, Brno, Czech Republic, August 23-27,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6247},
pages = {305--319},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15205-4\_25},
doi = {10.1007/978-3-642-15205-4\_25},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/FinkbeinerS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Schewe10,
author = {Sven Schewe},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010,
Chennai, India},
series = {LIPIcs},
volume = {8},
pages = {400--411},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.400},
doi = {10.4230/LIPICS.FSTTCS.2010.400},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/Schewe10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-5103,
author = {Markus N. Rabe and
Sven Schewe},
editor = {Alessandra Di Pierro and
Gethin Norman},
title = {Optimal Time-Abstract Schedulers for CTMDPs and Markov Games},
booktitle = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010},
series = {{EPTCS}},
volume = {28},
pages = {144--158},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.28.10},
doi = {10.4204/EPTCS.28.10},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-5103.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-4005,
author = {Markus N. Rabe and
Sven Schewe},
title = {Finite Optimal Control for Time-Bounded Reachability in CTMDPs and
Continuous-Time Markov Games},
journal = {CoRR},
volume = {abs/1004.4005},
year = {2010},
url = {http://arxiv.org/abs/1004.4005},
eprinttype = {arXiv},
eprint = {1004.4005},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-4005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-1333,
author = {Sven Schewe},
title = {Minimisation of Deterministic Parity and Buchi Automata and Relative
Minimisation of Deterministic Finite Automata},
journal = {CoRR},
volume = {abs/1007.1333},
year = {2010},
url = {http://arxiv.org/abs/1007.1333},
eprinttype = {arXiv},
eprint = {1007.1333},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-1333.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-0397,
author = {Markus N. Rabe and
Sven Schewe and
Lijun Zhang},
title = {Efficient Approximation of Optimal Control for Markov Games},
journal = {CoRR},
volume = {abs/1011.0397},
year = {2010},
url = {http://arxiv.org/abs/1011.0397},
eprinttype = {arXiv},
eprint = {1011.0397},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-0397.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ArapinisCDFGKMRRSUY09,
author = {Myrto Arapinis and
Muffy Calder and
Louise A. Dennis and
Michael Fisher and
Philip D. Gray and
Savas Konur and
Alice Miller and
Eike Ritter and
Mark Ryan and
Sven Schewe and
Chris Unsworth and
Rehana Yasmin},
title = {Towards the Verification of Pervasive Systems},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {22},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.22.315},
doi = {10.14279/TUJ.ECEASST.22.315},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/ArapinisCDFGKMRRSUY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Schewe09,
author = {Sven Schewe},
editor = {Luca de Alfaro},
title = {Tighter Bounds for the Determinisation of B{\"{u}}chi Automata},
booktitle = {Foundations of Software Science and Computational Structures, 12th
International Conference, {FOSSACS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5504},
pages = {167--181},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00596-1\_13},
doi = {10.1007/978-3-642-00596-1\_13},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Schewe09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Schewe09,
author = {Sven Schewe},
editor = {Rastislav Kr{\'{a}}lovic and
Damian Niwinski},
title = {From Parity and Payoff Games to Linear Programming},
booktitle = {Mathematical Foundations of Computer Science 2009, 34th International
Symposium, {MFCS} 2009, Novy Smokovec, High Tatras, Slovakia, August
24-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5734},
pages = {675--686},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03816-7\_57},
doi = {10.1007/978-3-642-03816-7\_57},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Schewe09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Schewe09,
author = {Sven Schewe},
editor = {Susanne Albers and
Jean{-}Yves Marion},
title = {B{\"{u}}chi Complementation Made Tight},
booktitle = {26th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2009, February 26-28, 2009, Freiburg, Germany, Proceedings},
series = {LIPIcs},
volume = {3},
pages = {661--672},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {https://doi.org/10.4230/LIPIcs.STACS.2009.1854},
doi = {10.4230/LIPICS.STACS.2009.1854},
timestamp = {Tue, 22 Jun 2021 15:43:57 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Schewe09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Schewe09,
author = {Sven Schewe},
editor = {Rastislav Bod{\'{\i}}k and
Orna Kupferman and
Douglas R. Smith and
Eran Yahav},
title = {Software Synthesis is Hard - and Simple},
booktitle = {Software Synthesis, 06.12. - 11.12.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09501},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2670/},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Schewe09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-2152,
author = {Sven Schewe},
title = {B{\"{u}}chi complementation made tight},
journal = {CoRR},
volume = {abs/0902.2152},
year = {2009},
url = {http://arxiv.org/abs/0902.2152},
eprinttype = {arXiv},
eprint = {0902.2152},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-2152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0023286,
author = {Sven Schewe},
title = {Synthesis of distributed systems},
school = {Saarland University, Saarbr{\"{u}}cken, Germany},
year = {2008},
url = {http://react.cs.uni-sb.de/publications/S08c.html},
urn = {urn:nbn:de:bsz:291-scidok-20459},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0023286.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Schewe08,
author = {Sven Schewe},
editor = {Michael Kaminski and
Simone Martini},
title = {An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff
Games},
booktitle = {Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th
Annual Conference of the EACSL, Bertinoro, Italy, September 16-19,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5213},
pages = {369--384},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87531-4\_27},
doi = {10.1007/978-3-540-87531-4\_27},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Schewe08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Schewe08,
author = {Sven Schewe},
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {ATL* Satisfiability Is 2EXPTIME-Complete},
booktitle = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
Track {C:} Security and Cryptography Foundations},
series = {Lecture Notes in Computer Science},
volume = {5126},
pages = {373--385},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70583-3\_31},
doi = {10.1007/978-3-540-70583-3\_31},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Schewe08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/FinkbeinerPS08,
author = {Bernd Finkbeiner and
Hans{-}J{\"{o}}rg Peter and
Sven Schewe},
title = {Synthesizing Certificates in Networks of Timed Automata},
booktitle = {Proceedings of the 29th {IEEE} Real-Time Systems Symposium, {RTSS}
2008, Barcelona, Spain, 30 November - 3 December 2008},
pages = {183--194},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/RTSS.2008.46},
doi = {10.1109/RTSS.2008.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/FinkbeinerPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FinkbeinerPS08,
author = {Bernd Finkbeiner and
Hans{-}J{\"{o}}rg Peter and
Sven Schewe},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {{RESY:} Requirement Synthesis for Compositional Model Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {463--466},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_35},
doi = {10.1007/978-3-540-78800-3\_35},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FinkbeinerPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/gi/Schewe08,
author = {Sven Schewe},
editor = {Abraham Bernstein and
Thomas Dreier and
Steffen H{\"{o}}lldobler and
G{\"{u}}nter Hotz and
Klaus{-}Peter L{\"{o}}hr and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Dietmar Saupe and
Myra Spiliopoulou and
Harald St{\"{o}}rrle and
Dorothea Wagner},
title = {Synthese Verteilter Systeme [Synthesis of Distributed Systems]},
booktitle = {Ausgezeichnete Informatikdissertationen 2008},
series = {{LNI}},
volume = {{D-9}},
pages = {251--260},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/33605},
timestamp = {Tue, 04 Jul 2023 17:43:36 +0200},
biburl = {https://dblp.org/rec/conf/gi/Schewe08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ScheweF07,
author = {Sven Schewe and
Bernd Finkbeiner},
title = {Semi-automatic Distributed Synthesis},
journal = {Int. J. Found. Comput. Sci.},
volume = {18},
number = {1},
pages = {113--138},
year = {2007},
url = {https://doi.org/10.1142/S0129054107004590},
doi = {10.1142/S0129054107004590},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/ScheweF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ScheweF07,
author = {Sven Schewe and
Bernd Finkbeiner},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Distributed Synthesis for Alternating-Time Logics},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {268--283},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_20},
doi = {10.1007/978-3-540-75596-8\_20},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/ScheweF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ScheweF07a,
author = {Sven Schewe and
Bernd Finkbeiner},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Bounded Synthesis},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {474--488},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_33},
doi = {10.1007/978-3-540-75596-8\_33},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/ScheweF07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Schewe07,
author = {Sven Schewe},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Solving Parity Games in Big Steps},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {449--460},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_37},
doi = {10.1007/978-3-540-77050-3\_37},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Schewe07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HelmertMS06,
author = {Malte Helmert and
Robert Mattm{\"{u}}ller and
Sven Schewe},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Selective Approaches for Solving Weak Games},
booktitle = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {200--214},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914\_17},
doi = {10.1007/11901914\_17},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/HelmertMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Schewe06,
author = {Sven Schewe},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Synthesis for Probabilistic Environments},
booktitle = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {245--259},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914\_20},
doi = {10.1007/11901914\_20},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/Schewe06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ScheweF06,
author = {Sven Schewe and
Bernd Finkbeiner},
editor = {Zolt{\'{a}}n {\'{E}}sik},
title = {Satisfiability and Finite Model Property for the Alternating-Time
\emph{mu}-Calculus},
booktitle = {Computer Science Logic, 20th International Workshop, {CSL} 2006, 15th
Annual Conference of the EACSL, Szeged, Hungary, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4207},
pages = {591--605},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11874683\_39},
doi = {10.1007/11874683\_39},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/ScheweF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/FinkbeinerSB06,
author = {Bernd Finkbeiner and
Sven Schewe and
Matthias Brill},
editor = {Elie Najm and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
V{\'{e}}ronique Donzeau{-}Gouge},
title = {Automatic Synthesis of Assumptions for Compositional Model Checking},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2006, 26th {IFIP} {WG} 6.1 International Conference, Paris, France,
September 26-29, 2006},
series = {Lecture Notes in Computer Science},
volume = {4229},
pages = {143--158},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11888116\_12},
doi = {10.1007/11888116\_12},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/FinkbeinerSB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ScheweF06,
author = {Sven Schewe and
Bernd Finkbeiner},
editor = {Germ{\'{a}}n Puebla},
title = {Synthesis of Asynchronous Systems},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {127--142},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_10},
doi = {10.1007/978-3-540-71410-1\_10},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/ScheweF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FinkbeinerS05,
author = {Bernd Finkbeiner and
Sven Schewe},
editor = {Doron A. Peled and
Yih{-}Kuen Tsay},
title = {Semi-automatic Distributed Synthesis},
booktitle = {Automated Technology for Verification and Analysis, Third International
Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3707},
pages = {263--277},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562948\_21},
doi = {10.1007/11562948\_21},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/FinkbeinerS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FinkbeinerS05,
author = {Bernd Finkbeiner and
Sven Schewe},
title = {Uniform Distributed Synthesis},
booktitle = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
26-29 June 2005, Chicago, IL, USA, Proceedings},
pages = {321--330},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/LICS.2005.53},
doi = {10.1109/LICS.2005.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FinkbeinerS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-16 20:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
