default search action
BibTeX records: Sven Schewe
@article{DBLP:journals/jcss/BenerecettiDMSW25, author = {Massimo Benerecetti and Daniele Dell'Erba and Fabio Mogavero and Sven Schewe and Dominik Wojtczak}, title = {Priority Promotion with Parysian flair}, journal = {J. Comput. Syst. Sci.}, volume = {147}, pages = {103580}, year = {2025}, url = {https://doi.org/10.1016/j.jcss.2024.103580}, doi = {10.1016/J.JCSS.2024.103580}, timestamp = {Fri, 20 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcss/BenerecettiDMSW25.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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} }
@article{DBLP:journals/tcs/LiSV24, 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 = {Theor. Comput. Sci.}, volume = {1006}, pages = {114650}, year = {2024}, url = {https://doi.org/10.1016/j.tcs.2024.114650}, doi = {10.1016/J.TCS.2024.114650}, timestamp = {Tue, 18 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/LiSV24.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} }
@inproceedings{DBLP:conf/data/Al-Juaid0S24, author = {Nouf Al{-}Juaid and Alexei Lisitsa and Sven Schewe}, editor = {Alfredo Cuzzocrea and Elhadj Benkhelifa and Oleg Gusikhin and Slimane Hammoudi}, title = {Efficient and Secure Multiparty Querying over Federated Graph Databases}, booktitle = {Proceedings of the 13th International Conference on Data Science, Technology and Applications, {DATA} 2024, Dijon, France, July 9-11, 2024}, pages = {39--50}, publisher = {{SCITEPRESS}}, year = {2024}, url = {https://doi.org/10.5220/0012757100003756}, doi = {10.5220/0012757100003756}, timestamp = {Thu, 05 Sep 2024 14:14:15 +0200}, biburl = {https://dblp.org/rec/conf/data/Al-Juaid0S24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/DellErbaLS24, author = {Daniele Dell'Erba and Yong Li and Sven Schewe}, editor = {Andre Platzer and Kristin Yvonne Rozier and Matteo Pradella and Matteo Rossi}, title = {DFAMiner: Mining Minimal Separating DFAs from Labelled Samples}, booktitle = {Formal Methods - 26th International Symposium, {FM} 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {14934}, pages = {48--66}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-71177-0\_4}, doi = {10.1007/978-3-031-71177-0\_4}, timestamp = {Fri, 20 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/DellErbaLS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/secrypt/Al-Juaid0S24, author = {Nouf Al{-}Juaid and Alexei Lisitsa and Sven Schewe}, editor = {Sabrina De Capitani di Vimercati and Pierangela Samarati}, title = {Secure Multi-Party Traversal Queries over Federated Graph Databases}, booktitle = {Proceedings of the 21st International Conference on Security and Cryptography, {SECRYPT} 2024, Dijon, France, July 8-10, 2024}, pages = {716--721}, publisher = {{SCITEPRESS}}, year = {2024}, url = {https://doi.org/10.5220/0012768000003767}, doi = {10.5220/0012768000003767}, timestamp = {Thu, 05 Sep 2024 14:21:37 +0200}, biburl = {https://dblp.org/rec/conf/secrypt/Al-Juaid0S24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2404-04124, author = {Daniele Dell'Erba and Arthur Dumas and Sven Schewe}, title = {An Objective Improvement Approach to Solving Discounted Payoff Games}, journal = {CoRR}, volume = {abs/2404.04124}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2404.04124}, doi = {10.48550/ARXIV.2404.04124}, eprinttype = {arXiv}, eprint = {2404.04124}, timestamp = {Mon, 13 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2404-04124.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2405-18871, author = {Daniele Dell'Erba and Yong Li and Sven Schewe}, title = {DFAMiner: Mining minimal separating DFAs from labelled samples}, journal = {CoRR}, volume = {abs/2405.18871}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2405.18871}, doi = {10.48550/ARXIV.2405.18871}, eprinttype = {arXiv}, eprint = {2405.18871}, timestamp = {Wed, 07 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2405-18871.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 = {Wed, 21 Aug 2024 22:46:00 +0200}, 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 = {Tue, 07 May 2024 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 = {Tue, 07 May 2024 01:00:00 +0200}, 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 = {Mon, 19 Aug 2024 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 = {Wed, 21 Aug 2024 22:46:00 +0200}, 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 = {Mon, 19 Aug 2024 01:00:00 +0200}, 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 = {Wed, 21 Aug 2024 22:46: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 = {Wed, 21 Aug 2024 22:46: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 = {Wed, 21 Aug 2024 22:46:00 +0200}, 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 = {Wed, 21 Aug 2024 22:46:00 +0200}, 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 = {Wed, 21 Aug 2024 22:46:00 +0200}, 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} }
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.