Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Martin Zimmermann 0002
@article{DBLP:journals/lmcs/GuhaJLZ24,
author = {Shibashis Guha and
Isma{\"{e}}l Jecker and
Karoliina Lehtinen and
Martin Zimmermann},
title = {A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct},
journal = {Log. Methods Comput. Sci.},
volume = {20},
number = {1},
year = {2024},
url = {https://doi.org/10.46298/lmcs-20(1:3)2024},
doi = {10.46298/LMCS-20(1:3)2024},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/GuhaJLZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KauffmanZ24,
author = {Sean Kauffman and
Martin Zimmermann},
title = {The complexity of evaluating nfer},
journal = {Sci. Comput. Program.},
volume = {231},
pages = {103012},
year = {2024},
url = {https://doi.org/10.1016/j.scico.2023.103012},
doi = {10.1016/J.SCICO.2023.103012},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KauffmanZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ErlichGJL023,
author = {Enzo Erlich and
Shibashis Guha and
Isma{\"{e}}l Jecker and
Karoliina Lehtinen and
Martin Zimmermann},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {History-Deterministic Parikh Automata},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {31:1--31:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.31},
doi = {10.4230/LIPICS.CONCUR.2023.31},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/ErlichGJL023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MuranoNZ23,
author = {Aniello Murano and
Daniel Neider and
Martin Zimmermann},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {Robust Alternating-Time Temporal Logic},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {796--813},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_54},
doi = {10.1007/978-3-031-43619-2\_54},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/MuranoNZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-01010,
author = {Martin Fr{\"{a}}nzle and
Sarah Winter and
Martin Zimmermann},
editor = {Antonis Achilleos and
Dario Della Monica},
title = {Strategies Resilient to Delay: Games under Delayed Control vs. Delay
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 = {220--235},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390.14},
doi = {10.4204/EPTCS.390.14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-01010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-16699,
author = {Marie Fortin and
Louwe B. Kuijer and
Patrick Totzke and
Martin Zimmermann},
title = {HyperLTL Satisfiability Is Highly Undecidable, HyperCTL* is Even Harder},
journal = {CoRR},
volume = {abs/2303.16699},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.16699},
doi = {10.48550/ARXIV.2303.16699},
eprinttype = {arXiv},
eprint = {2303.16699},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-16699.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-19985,
author = {Martin Fr{\"{a}}nzle and
Sarah Winter and
Martin Zimmermann},
title = {Strategies Resilient to Delay: Games under Delayed Control vs. Delay
Games (full version)},
journal = {CoRR},
volume = {abs/2305.19985},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.19985},
doi = {10.48550/ARXIV.2305.19985},
eprinttype = {arXiv},
eprint = {2305.19985},
timestamp = {Mon, 13 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-19985.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-05806,
author = {Martin Zimmermann},
title = {Robust Probabilistic Temporal Logics},
journal = {CoRR},
volume = {abs/2306.05806},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.05806},
doi = {10.48550/ARXIV.2306.05806},
eprinttype = {arXiv},
eprint = {2306.05806},
timestamp = {Mon, 19 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-05806.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-10885,
author = {Aniello Murano and
Daniel Neider and
Martin Zimmermann},
title = {Robust Alternating-Time Temporal Logic},
journal = {CoRR},
volume = {abs/2307.10885},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.10885},
doi = {10.48550/ARXIV.2307.10885},
eprinttype = {arXiv},
eprint = {2307.10885},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-10885.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-15675,
author = {Martin Zimmermann},
title = {The Complexity of Second-order HyperLTL},
journal = {CoRR},
volume = {abs/2311.15675},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.15675},
doi = {10.48550/ARXIV.2311.15675},
eprinttype = {arXiv},
eprint = {2311.15675},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-15675.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/NeiderWZ22,
author = {Daniel Neider and
Alexander Weinert and
Martin Zimmermann},
title = {Robust, expressive, and quantitative linear temporal logics: Pick
any two for free},
journal = {Inf. Comput.},
volume = {285},
number = {Part},
pages = {104810},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2021.104810},
doi = {10.1016/J.IC.2021.104810},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/NeiderWZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Zimmermann22,
author = {Martin Zimmermann},
title = {Approximating the minimal lookahead needed to win infinite games},
journal = {Inf. Process. Lett.},
volume = {177},
pages = {106264},
year = {2022},
url = {https://doi.org/10.1016/j.ipl.2022.106264},
doi = {10.1016/J.IPL.2022.106264},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/Zimmermann22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/LehtinenZ22,
author = {Karoliina Lehtinen and
Martin Zimmermann},
title = {Good-for-games {\(\omega\)}-Pushdown Automata},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:3)2022},
doi = {10.46298/LMCS-18(1:3)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/LehtinenZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GrosenKLZ22,
author = {Thomas M{\o}ller Grosen and
Sean Kauffman and
Kim Guldstrand Larsen and
Martin Zimmermann},
editor = {Sergiy Bogomolov and
David Parker},
title = {Monitoring Timed Properties (Revisited)},
booktitle = {Formal Modeling and Analysis of Timed Systems - 20th International
Conference, {FORMATS} 2022, Warsaw, Poland, September 13-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13465},
pages = {43--62},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15839-1\_3},
doi = {10.1007/978-3-031-15839-1\_3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/GrosenKLZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GuhaJL022,
author = {Shibashis Guha and
Isma{\"{e}}l Jecker and
Karoliina Lehtinen and
Martin Zimmermann},
editor = {Anuj Dawar and
Venkatesan Guruswami},
title = {Parikh Automata over 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 = {40:1--40:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.40},
doi = {10.4230/LIPICS.FSTTCS.2022.40},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/GuhaJL022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NayakNZ22,
author = {Satya Prakash Nayak and
Daniel Neider and
Martin Zimmermann},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Robustness-by-Construction Synthesis: Adapting to the Environment
at Runtime},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {149--173},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_10},
doi = {10.1007/978-3-031-19849-6\_10},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/NayakNZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/NayakNRZ22,
author = {Satya Prakash Nayak and
Daniel Neider and
Rajarshi Roy and
Martin Zimmermann},
editor = {Jyotirmoy V. Deshmukh and
Klaus Havelund and
Ivan Perez},
title = {Robust Computation Tree Logic},
booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
Pasadena, CA, USA, May 24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13260},
pages = {538--556},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06773-0\_29},
doi = {10.1007/978-3-031-06773-0\_29},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/NayakNRZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/KauffmanZ22,
author = {Sean Kauffman and
Martin Zimmermann},
editor = {Yamine A{\"{\i}}t Ameur and
Florin Craciun},
title = {The Complexity of Evaluating Nfer},
booktitle = {Theoretical Aspects of Software Engineering - 16th International Symposium,
{TASE} 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13299},
pages = {388--405},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10363-6\_26},
doi = {10.1007/978-3-031-10363-6\_26},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/KauffmanZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-07116,
author = {Satya Prakash Nayak and
Daniel Neider and
Rajarshi Roy and
Martin Zimmermann},
title = {Robust Computation Tree Logic},
journal = {CoRR},
volume = {abs/2201.07116},
year = {2022},
url = {https://arxiv.org/abs/2201.07116},
eprinttype = {arXiv},
eprint = {2201.07116},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-07116.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-13677,
author = {Sean Kauffman and
Martin Zimmermann},
title = {The Complexity of Evaluating nfer},
journal = {CoRR},
volume = {abs/2202.13677},
year = {2022},
url = {https://arxiv.org/abs/2202.13677},
eprinttype = {arXiv},
eprint = {2202.13677},
timestamp = {Mon, 07 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-13677.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-03404,
author = {Sarah Winter and
Martin Zimmermann},
title = {Weak Muller Conditions Make Delay Games Hard},
journal = {CoRR},
volume = {abs/2203.03404},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.03404},
doi = {10.48550/ARXIV.2203.03404},
eprinttype = {arXiv},
eprint = {2203.03404},
timestamp = {Thu, 20 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-03404.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-10912,
author = {Satya Prakash Nayak and
Daniel Neider and
Martin Zimmermann},
title = {Robustness-by-Construction Synthesis: Adapting to the Environment
at Runtime},
journal = {CoRR},
volume = {abs/2204.10912},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.10912},
doi = {10.48550/ARXIV.2204.10912},
eprinttype = {arXiv},
eprint = {2204.10912},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-10912.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-14590,
author = {Thomas M{\o}ller Grosen and
Sean Kauffman and
Kim Guldstrand Larsen and
Martin Zimmermann},
title = {Monitoring Timed Properties (Revisited)},
journal = {CoRR},
volume = {abs/2206.14590},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.14590},
doi = {10.48550/ARXIV.2206.14590},
eprinttype = {arXiv},
eprint = {2206.14590},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-14590.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-07694,
author = {Shibashis Guha and
Isma{\"{e}}l Jecker and
Karoliina Lehtinen and
Martin Zimmermann},
title = {Parikh Automata over Infinite Words},
journal = {CoRR},
volume = {abs/2207.07694},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.07694},
doi = {10.48550/ARXIV.2207.07694},
eprinttype = {arXiv},
eprint = {2207.07694},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-07694.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-07745,
author = {Enzo Erlich and
Shibashis Guha and
Isma{\"{e}}l Jecker and
Karoliina Lehtinen and
Martin Zimmermann},
title = {History-deterministic Parikh Automata},
journal = {CoRR},
volume = {abs/2209.07745},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.07745},
doi = {10.48550/ARXIV.2209.07745},
eprinttype = {arXiv},
eprint = {2209.07745},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-07745.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/MascleNSTWZ21,
author = {Corto Mascle and
Daniel Neider and
Maximilian Schwenger and
Paulo Tabuada and
Alexander Weinert and
Martin Zimmermann},
title = {From {LTL} to rLTL monitoring: improved monitorability through robust
semantics},
journal = {Formal Methods Syst. Des.},
volume = {59},
number = {1},
pages = {170--204},
year = {2021},
url = {https://doi.org/10.1007/s10703-022-00398-4},
doi = {10.1007/S10703-022-00398-4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/MascleNSTWZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/OrlandiniZ21,
author = {Andrea Orlandini and
Martin Zimmermann},
title = {Preface},
journal = {Inf. Comput.},
volume = {278},
pages = {104591},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104591},
doi = {10.1016/J.IC.2020.104591},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/OrlandiniZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NayakN021,
author = {Satya Prakash Nayak and
Daniel Neider and
Martin Zimmermann},
editor = {Sergiy Bogomolov and
Rapha{\"{e}}l M. Jungers},
title = {Adaptive strategies for rLTL games},
booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems:
Computation and Control, Nashville, Tennessee, May 19-21, 2021},
pages = {32:1--32:2},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3447928.3457210},
doi = {10.1145/3447928.3457210},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/NayakN021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FortinKT021,
author = {Marie Fortin and
Louwe B. Kuijer and
Patrick Totzke and
Martin Zimmermann},
editor = {Filippo Bonchi and
Simon J. Puglisi},
title = {HyperLTL Satisfiability Is {\(\Sigma\)}{\unicode{8321}}{\({^1}\)}-Complete,
HyperCTL* Satisfiability Is {\(\Sigma\)}{\unicode{8321}}{\({^2}\)}-Complete},
booktitle = {46th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia},
series = {LIPIcs},
volume = {202},
pages = {47:1--47:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2021.47},
doi = {10.4230/LIPICS.MFCS.2021.47},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/FortinKT021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GuhaJL021,
author = {Shibashis Guha and
Isma{\"{e}}l Jecker and
Karoliina Lehtinen and
Martin Zimmermann},
editor = {Filippo Bonchi and
Simon J. Puglisi},
title = {A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct},
booktitle = {46th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia},
series = {LIPIcs},
volume = {202},
pages = {53:1--53:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2021.53},
doi = {10.4230/LIPICS.MFCS.2021.53},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/GuhaJL021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-02611,
author = {Shibashis Guha and
Isma{\"{e}}l Jecker and
Karoliina Lehtinen and
Martin Zimmermann},
title = {A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct},
journal = {CoRR},
volume = {abs/2105.02611},
year = {2021},
url = {https://arxiv.org/abs/2105.02611},
eprinttype = {arXiv},
eprint = {2105.02611},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-02611.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-04176,
author = {Marie Fortin and
Louwe B. Kuijer and
Patrick Totzke and
Martin Zimmermann},
title = {HyperLTL Satisfiability is {\(\Sigma\)}\({}_{\mbox{1}}\)\({}^{\mbox{1}}\)-complete,
HyperCTL* Satisfiability is {\(\Sigma\)}\({}_{\mbox{1}}\)\({}^{\mbox{2}}\)-complete},
journal = {CoRR},
volume = {abs/2105.04176},
year = {2021},
url = {https://arxiv.org/abs/2105.04176},
eprinttype = {arXiv},
eprint = {2105.04176},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-04176.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/NeiderWZ20,
author = {Daniel Neider and
Alexander Weinert and
Martin Zimmermann},
title = {Synthesizing optimally resilient controllers},
journal = {Acta Informatica},
volume = {57},
number = {1-2},
pages = {195--221},
year = {2020},
url = {https://doi.org/10.1007/s00236-019-00345-7},
doi = {10.1007/S00236-019-00345-7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/NeiderWZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/WinterZ20,
author = {Sarah Winter and
Martin Zimmermann},
title = {Finite-state strategies in delay games},
journal = {Inf. Comput.},
volume = {272},
pages = {104500},
year = {2020},
url = {https://doi.org/10.1016/j.ic.2019.104500},
doi = {10.1016/J.IC.2019.104500},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/WinterZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Mascle020,
author = {Corto Mascle and
Martin Zimmermann},
editor = {Maribel Fern{\'{a}}ndez and
Anca Muscholl},
title = {The Keys to Decidable HyperLTL Satisfiability: Small Models or Very
Simple Formulas},
booktitle = {28th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2020,
January 13-16, 2020, Barcelona, Spain},
series = {LIPIcs},
volume = {152},
pages = {29:1--29:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CSL.2020.29},
doi = {10.4230/LIPICS.CSL.2020.29},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Mascle020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/MascleNSTW020,
author = {Corto Mascle and
Daniel Neider and
Maximilian Schwenger and
Paulo Tabuada and
Alexander Weinert and
Martin Zimmermann},
editor = {Aaron D. Ames and
Sanjit A. Seshia and
Jyotirmoy Deshmukh},
title = {From {LTL} to rLTL monitoring: improved monitorability through robust
semantics},
booktitle = {{HSCC} '20: 23rd {ACM} International Conference on Hybrid Systems:
Computation and Control, Sydney, New South Wales, Australia, April
21-24, 2020},
pages = {7:1--7:12},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3365365.3382197},
doi = {10.1145/3365365.3382197},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/MascleNSTW020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Lehtinen020,
author = {Karoliina Lehtinen and
Martin Zimmermann},
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {Good-for-games {\(\omega\)}-Pushdown Automata},
booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
pages = {689--702},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718.3394737},
doi = {10.1145/3373718.3394737},
timestamp = {Sat, 30 Sep 2023 09:52:07 +0200},
biburl = {https://dblp.org/rec/conf/lics/Lehtinen020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/NeiderT020,
author = {Daniel Neider and
Patrick Totzke and
Martin Zimmermann},
editor = {Javier Esparza and
Daniel Kr{\'{a}}l'},
title = {Optimally Resilient Strategies in Pushdown Safety Games},
booktitle = {45th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2020, August 24-28, 2020, Prague, Czech Republic},
series = {LIPIcs},
volume = {170},
pages = {74:1--74:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2020.74},
doi = {10.4230/LIPICS.MFCS.2020.74},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/NeiderT020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/JacobsSZ20,
author = {Swen Jacobs and
Mouhammad Sakr and
Martin Zimmermann},
editor = {Dirk Beyer and
Damien Zufferey},
title = {Promptness and Bounded Fairness in Concurrent and Parameterized Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 21st International
Conference, {VMCAI} 2020, New Orleans, LA, USA, January 16-21, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11990},
pages = {337--359},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39322-9\_16},
doi = {10.1007/978-3-030-39322-9\_16},
timestamp = {Thu, 06 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/JacobsSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-11638,
author = {Aniello Murano and
Sasha Rubin and
Martin Zimmermann},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {Optimal Strategies in Weighted Limit Games},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {114--130},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.8},
doi = {10.4204/EPTCS.326.8},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-11638.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-04392,
author = {Karoliina Lehtinen and
Martin Zimmermann},
title = {Good-for-games {\(\omega\)}-Pushdown Automata},
journal = {CoRR},
volume = {abs/2001.04392},
year = {2020},
url = {https://arxiv.org/abs/2001.04392},
eprinttype = {arXiv},
eprint = {2001.04392},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-04392.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-11562,
author = {Aniello Murano and
Sasha Rubin and
Martin Zimmermann},
title = {Optimal Strategies in Weighted Limit Games (full version)},
journal = {CoRR},
volume = {abs/2008.11562},
year = {2020},
url = {https://arxiv.org/abs/2008.11562},
eprinttype = {arXiv},
eprint = {2008.11562},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-11562.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-11706,
author = {Martin Zimmermann},
title = {Approximating the Minimal Lookahead Needed to Win Infinite Games},
journal = {CoRR},
volume = {abs/2010.11706},
year = {2020},
url = {https://arxiv.org/abs/2010.11706},
eprinttype = {arXiv},
eprint = {2010.11706},
timestamp = {Fri, 30 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-11706.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}
}
@inproceedings{DBLP:journals/corr/abs-1909-08538,
author = {Daniel Neider and
Alexander Weinert and
Martin Zimmermann},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Robust, Expressive, and Quantitative Linear Temporal Logics: Pick
any Two for Free},
booktitle = {Proceedings Tenth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
2019},
series = {{EPTCS}},
volume = {305},
pages = {1--16},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.305.1},
doi = {10.4204/EPTCS.305.1},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08538.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-05070,
author = {Corto Mascle and
Martin Zimmermann},
title = {The Keys to Decidable HyperLTL Satisfiability: Small Models or Very
Simple Formulas},
journal = {CoRR},
volume = {abs/1907.05070},
year = {2019},
url = {http://arxiv.org/abs/1907.05070},
eprinttype = {arXiv},
eprint = {1907.05070},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-05070.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-03122,
author = {Swen Jacobs and
Mouhammad Sakr and
Martin Zimmermann},
title = {Promptness and Bounded Fairness in Concurrent and Parameterized Systems},
journal = {CoRR},
volume = {abs/1911.03122},
year = {2019},
url = {http://arxiv.org/abs/1911.03122},
eprinttype = {arXiv},
eprint = {1911.03122},
timestamp = {Mon, 11 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-03122.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-04771,
author = {Daniel Neider and
Patrick Totzke and
Martin Zimmermann},
title = {Optimally Resilient Strategies in Pushdown Safety Games},
journal = {CoRR},
volume = {abs/1912.04771},
year = {2019},
url = {http://arxiv.org/abs/1912.04771},
eprinttype = {arXiv},
eprint = {1912.04771},
timestamp = {Thu, 02 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-04771.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Zimmermann18,
author = {Martin Zimmermann},
title = {Parameterized linear temporal logics meet costs: still not costlier
than {LTL}},
journal = {Acta Informatica},
volume = {55},
number = {2},
pages = {129--152},
year = {2018},
url = {https://doi.org/10.1007/s00236-016-0279-9},
doi = {10.1007/S00236-016-0279-9},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Zimmermann18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/TorfahZ18,
author = {Hazem Torfah and
Martin Zimmermann},
title = {The complexity of counting models of linear-time temporal logic},
journal = {Acta Informatica},
volume = {55},
number = {3},
pages = {191--212},
year = {2018},
url = {https://doi.org/10.1007/s00236-016-0284-z},
doi = {10.1007/S00236-016-0284-Z},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/TorfahZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JacobsTZ18,
author = {Swen Jacobs and
Leander Tentrup and
Martin Zimmermann},
title = {Distributed synthesis for parameterized temporal logics},
journal = {Inf. Comput.},
volume = {262},
pages = {311--328},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.09.009},
doi = {10.1016/J.IC.2018.09.009},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/JacobsTZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WeinertZ18,
author = {Alexander Weinert and
Martin Zimmermann},
title = {Visibly linear dynamic logic},
journal = {Theor. Comput. Sci.},
volume = {747},
pages = {100--117},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.06.030},
doi = {10.1016/J.TCS.2018.06.030},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/WeinertZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/NeiderW018,
author = {Daniel Neider and
Alexander Weinert and
Martin Zimmermann},
editor = {Dan R. Ghica and
Achim Jung},
title = {Synthesizing Optimally Resilient Controllers},
booktitle = {27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018,
September 4-7, 2018, Birmingham, {UK}},
series = {LIPIcs},
volume = {119},
pages = {34:1--34:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CSL.2018.34},
doi = {10.4230/LIPICS.CSL.2018.34},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/NeiderW018.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 = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/ScheweW018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KrebsMV018,
author = {Andreas Krebs and
Arne Meier and
Jonni Virtema and
Martin Zimmermann},
editor = {Igor Potapov and
Paul G. Spirakis and
James Worrell},
title = {Team Semantics for the Specification and Verification of Hyperproperties},
booktitle = {43rd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2018, August 27-31, 2018, Liverpool, {UK}},
series = {LIPIcs},
volume = {117},
pages = {10:1--10:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2018.10},
doi = {10.4230/LIPICS.MFCS.2018.10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KrebsMV018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HagueMM018,
author = {Matthew Hague and
Roland Meyer and
Sebastian Muskalla and
Martin Zimmermann},
editor = {Igor Potapov and
Paul G. Spirakis and
James Worrell},
title = {Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown
Systems},
booktitle = {43rd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2018, August 27-31, 2018, Liverpool, {UK}},
series = {LIPIcs},
volume = {117},
pages = {57:1--57:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2018.57},
doi = {10.4230/LIPICS.MFCS.2018.57},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HagueMM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1809-02416,
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277},
doi = {10.4204/EPTCS.277},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-02416.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-02963,
author = {Matthew Hague and
Roland Meyer and
Sebastian Muskalla and
Martin Zimmermann},
title = {Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown
Systems},
journal = {CoRR},
volume = {abs/1805.02963},
year = {2018},
url = {http://arxiv.org/abs/1805.02963},
eprinttype = {arXiv},
eprint = {1805.02963},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-02963.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-08203,
author = {Corto Mascle and
Daniel Neider and
Maximilian Schwenger and
Paulo Tabuada and
Alexander Weinert and
Martin Zimmermann},
title = {From {LTL} to rLTL Monitoring: Improved Monitorability through Robust
Semantics},
journal = {CoRR},
volume = {abs/1807.08203},
year = {2018},
url = {http://arxiv.org/abs/1807.08203},
eprinttype = {arXiv},
eprint = {1807.08203},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-08203.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-09028,
author = {Daniel Neider and
Alexander Weinert and
Martin Zimmermann},
title = {Robust, Expressive, and Quantitative Linear Temporal Logics: Pick
any Two for Free},
journal = {CoRR},
volume = {abs/1808.09028},
year = {2018},
url = {http://arxiv.org/abs/1808.09028},
eprinttype = {arXiv},
eprint = {1808.09028},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-09028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FaymonvilleZ17,
author = {Peter Faymonville and
Martin Zimmermann},
title = {Parametric Linear Dynamic Logic},
journal = {Inf. Comput.},
volume = {253},
pages = {237--256},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2016.07.009},
doi = {10.1016/J.IC.2016.07.009},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FaymonvilleZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Weinert017,
author = {Alexander Weinert and
Martin Zimmermann},
title = {Easy to Win, Hard to Master: Optimal Strategies in Parity Games with
Costs},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:29)2017},
doi = {10.23638/LMCS-13(3:29)2017},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Weinert017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BouyerHMR017,
author = {Patricia Bouyer and
Piotr Hofman and
Nicolas Markey and
Mickael Randour and
Martin Zimmermann},
editor = {Javier Esparza and
Andrzej S. Murawski},
title = {Bounding Average-Energy Games},
booktitle = {Foundations of Software Science and Computation Structures - 20th
International Conference, {FOSSACS} 2017, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2017,
Uppsala, Sweden, April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10203},
pages = {179--195},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54458-7\_11},
doi = {10.1007/978-3-662-54458-7\_11},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BouyerHMR017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Zimmermann17,
author = {Martin Zimmermann},
title = {Games with costs and delays},
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.8005125},
doi = {10.1109/LICS.2017.8005125},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Zimmermann17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Finkbeiner017,
author = {Bernd Finkbeiner and
Martin Zimmermann},
editor = {Heribert Vollmer and
Brigitte Vall{\'{e}}e},
title = {The First-Order Logic of Hyperproperties},
booktitle = {34th Symposium on Theoretical Aspects of Computer Science, {STACS}
2017, March 8-11, 2017, Hannover, Germany},
series = {LIPIcs},
volume = {66},
pages = {30:1--30:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.STACS.2017.30},
doi = {10.4230/LIPICS.STACS.2017.30},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/Finkbeiner017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-03539,
author = {Martin Zimmermann},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi San Pietro},
title = {Finite-state Strategies in Delay Games},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {151--165},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.11},
doi = {10.4204/EPTCS.256.11},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-03539.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Zimmermann17,
author = {Martin Zimmermann},
title = {Games with Costs and Delays},
journal = {CoRR},
volume = {abs/1701.02168},
year = {2017},
url = {http://arxiv.org/abs/1701.02168},
eprinttype = {arXiv},
eprint = {1701.02168},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Zimmermann17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Zimmermann17b,
author = {Sarah Winter and
Martin Zimmermann},
title = {Finite-state Strategies in Delay Games},
journal = {CoRR},
volume = {abs/1704.08887},
year = {2017},
url = {http://arxiv.org/abs/1704.08887},
eprinttype = {arXiv},
eprint = {1704.08887},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Zimmermann17b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JacobsT017,
author = {Swen Jacobs and
Leander Tentrup and
Martin Zimmermann},
title = {Distributed Synthesis for Parameterized Temporal Logics},
journal = {CoRR},
volume = {abs/1705.08112},
year = {2017},
url = {http://arxiv.org/abs/1705.08112},
eprinttype = {arXiv},
eprint = {1705.08112},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JacobsT017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-04854,
author = {Daniel Neider and
Alexander Weinert and
Martin Zimmermann},
title = {Synthesizing Optimally Resilient Controllers},
journal = {CoRR},
volume = {abs/1709.04854},
year = {2017},
url = {http://arxiv.org/abs/1709.04854},
eprinttype = {arXiv},
eprint = {1709.04854},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-04854.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-08510,
author = {Andreas Krebs and
Arne Meier and
Jonni Virtema and
Martin Zimmermann},
title = {Team Semantics for the Specification and Verification of Hyperproperties},
journal = {CoRR},
volume = {abs/1709.08510},
year = {2017},
url = {http://arxiv.org/abs/1709.08510},
eprinttype = {arXiv},
eprint = {1709.08510},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-08510.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KleinZ14,
author = {Felix Klein and
Martin Zimmermann},
title = {How Much Lookahead is Needed to Win Infinite Games?},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {3},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(3:4)2016},
doi = {10.2168/LMCS-12(3:4)2016},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KleinZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Zimmermann16,
author = {Martin Zimmermann},
title = {Delay Games with {WMSO+U} Winning Conditions},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {50},
number = {2},
pages = {145--165},
year = {2016},
url = {https://doi.org/10.1051/ita/2016018},
doi = {10.1051/ITA/2016018},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Zimmermann16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Weinert016,
author = {Alexander Weinert and
Martin Zimmermann},
editor = {Jean{-}Marc Talbot and
Laurent Regnier},
title = {Easy to Win, Hard to Master: Optimal Strategies in Parity Games with
Costs},
booktitle = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016,
August 29 - September 1, 2016, Marseille, France},
series = {LIPIcs},
volume = {62},
pages = {31:1--31:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CSL.2016.31},
doi = {10.4230/LIPICS.CSL.2016.31},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/Weinert016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Weinert016,
author = {Alexander Weinert and
Martin Zimmermann},
editor = {Akash Lal and
S. Akshay and
Saket Saurabh and
Sandeep Sen},
title = {Visibly Linear Dynamic Logic},
booktitle = {36th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2016, December 13-15, 2016,
Chennai, India},
series = {LIPIcs},
volume = {65},
pages = {28:1--28:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.28},
doi = {10.4230/LIPICS.FSTTCS.2016.28},
timestamp = {Tue, 30 Nov 2021 13:29:05 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/Weinert016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KleinZ16,
author = {Felix Klein and
Martin Zimmermann},
editor = {Akash Lal and
S. Akshay and
Saket Saurabh and
Sandeep Sen},
title = {Prompt Delay},
booktitle = {36th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2016, December 13-15, 2016,
Chennai, India},
series = {LIPIcs},
volume = {65},
pages = {43:1--43:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.43},
doi = {10.4230/LIPICS.FSTTCS.2016.43},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/KleinZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LarsenLZ15,
author = {Kim G. Larsen and
Simon Laursen and
Martin Zimmermann},
editor = {Mirco Tribastone and
Herbert Wiklicky},
title = {Limit Your Consumption! Finding Bounds in Average-energy Games},
booktitle = {Proceedings 14th International Workshop Quantitative Aspects of Programming
Languages and Systems, {QAPL} 2016, Eindhoven, The Netherlands, April
2-3, 2016},
series = {{EPTCS}},
volume = {227},
pages = {1--14},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.227.1},
doi = {10.4204/EPTCS.227.1},
timestamp = {Wed, 09 Oct 2019 16:19:29 +0200},
biburl = {https://dblp.org/rec/journals/corr/LarsenLZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JacobsTZ15,
author = {Swen Jacobs and
Leander Tentrup and
Martin Zimmermann},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Distributed {PROMPT-LTL} Synthesis},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {228--241},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.16},
doi = {10.4204/EPTCS.226.16},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JacobsTZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/TentrupWZ15,
author = {Leander Tentrup and
Alexander Weinert and
Martin Zimmermann},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential
Time},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {302--315},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.21},
doi = {10.4204/EPTCS.226.21},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TentrupWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KleinZ16,
author = {Felix Klein and
Martin Zimmermann},
title = {Prompt Delay},
journal = {CoRR},
volume = {abs/1602.05045},
year = {2016},
url = {http://arxiv.org/abs/1602.05045},
eprinttype = {arXiv},
eprint = {1602.05045},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KleinZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Weinert016,
author = {Alexander Weinert and
Martin Zimmermann},
title = {Easy to Win, Hard to Master: Optimal Strategies in Parity Games with
Costs},
journal = {CoRR},
volume = {abs/1604.05543},
year = {2016},
url = {http://arxiv.org/abs/1604.05543},
eprinttype = {arXiv},
eprint = {1604.05543},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Weinert016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FinkbeinerZ16,
author = {Bernd Finkbeiner and
Martin Zimmermann},
title = {The First-Order Logic of Hyperproperties},
journal = {CoRR},
volume = {abs/1610.04388},
year = {2016},
url = {http://arxiv.org/abs/1610.04388},
eprinttype = {arXiv},
eprint = {1610.04388},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FinkbeinerZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BouyerHMRZ16,
author = {Patricia Bouyer and
Piotr Hofman and
Nicolas Markey and
Mickael Randour and
Martin Zimmermann},
title = {Bounding Average-energy Games},
journal = {CoRR},
volume = {abs/1610.07858},
year = {2016},
url = {http://arxiv.org/abs/1610.07858},
eprinttype = {arXiv},
eprint = {1610.07858},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BouyerHMRZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/HornTW015,
author = {Florian Horn and
Wolfgang Thomas and
Nico Wallmeier and
Martin Zimmermann},
title = {Optimal strategy synthesis for request-response games},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {49},
number = {3},
pages = {179--203},
year = {2015},
url = {https://doi.org/10.1051/ita/2015005},
doi = {10.1051/ITA/2015005},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/HornTW015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Klein015,
author = {Felix Klein and
Martin Zimmermann},
editor = {Stephan Kreutzer},
title = {What are Strategies in Delay Games? Borel Determinacy for Games with
Lookahead},
booktitle = {24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015,
September 7-10, 2015, Berlin, Germany},
series = {LIPIcs},
volume = {41},
pages = {519--533},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CSL.2015.519},
doi = {10.4230/LIPICS.CSL.2015.519},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/Klein015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Zimmermann15,
author = {Martin Zimmermann},
editor = {Lev D. Beklemishev and
Daniil V. Musatov},
title = {Delay Games with {WMSO+U} Winning Conditions},
booktitle = {Computer Science - Theory and Applications - 10th International Computer
Science Symposium in Russia, {CSR} 2015, Listvyanka, Russia, July
13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9139},
pages = {412--425},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20297-6\_26},
doi = {10.1007/978-3-319-20297-6\_26},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/csr/Zimmermann15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Klein015,
author = {Felix Klein and
Martin Zimmermann},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {How Much Lookahead is Needed to Win Infinite Games?},
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 = {452--463},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47666-6\_36},
doi = {10.1007/978-3-662-47666-6\_36},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Klein015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Zimmermann15c,
author = {Martin Zimmermann},
editor = {Javier Esparza and
Enrico Tronci},
title = {Parameterized Linear Temporal Logics Meet Costs: Still not Costlier
than {LTL}},
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 = {144--157},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193.11},
doi = {10.4204/EPTCS.193.11},
timestamp = {Fri, 09 Apr 2021 18:27:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/Zimmermann15c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Klein015,
author = {Felix Klein and
Martin Zimmermann},
title = {What are Strategies in Delay Games? Borel Determinacy for Games with
Lookahead},
journal = {CoRR},
volume = {abs/1504.02627},
year = {2015},
url = {http://arxiv.org/abs/1504.02627},
eprinttype = {arXiv},
eprint = {1504.02627},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Klein015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Faymonville015,
author = {Peter Faymonville and
Martin Zimmermann},
title = {Parametric Linear Dynamic Logic (full version)},
journal = {CoRR},
volume = {abs/1504.03880},
year = {2015},
url = {http://arxiv.org/abs/1504.03880},
eprinttype = {arXiv},
eprint = {1504.03880},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Faymonville015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Zimmermann15a,
author = {Martin Zimmermann},
title = {Parameterized Linear Temporal Logics Meet Costs: Still not Costlier
than {LTL} (full version)},
journal = {CoRR},
volume = {abs/1505.06953},
year = {2015},
url = {http://arxiv.org/abs/1505.06953},
eprinttype = {arXiv},
eprint = {1505.06953},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Zimmermann15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Zimmermann15d,
author = {Martin Zimmermann},
title = {Unbounded Lookahead in {WMSO+U} Games},
journal = {CoRR},
volume = {abs/1509.07495},
year = {2015},
url = {http://arxiv.org/abs/1509.07495},
eprinttype = {arXiv},
eprint = {1509.07495},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Zimmermann15d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WeinertZ15,
author = {Alexander Weinert and
Martin Zimmermann},
title = {Visibly Linear Dynamic Logic},
journal = {CoRR},
volume = {abs/1512.05177},
year = {2015},
url = {http://arxiv.org/abs/1512.05177},
eprinttype = {arXiv},
eprint = {1512.05177},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WeinertZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-0663,
author = {Nathana{\"{e}}l Fijalkow and
Martin Zimmermann},
title = {Parity and Streett Games with Costs},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {2},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(2:14)2014},
doi = {10.2168/LMCS-10(2:14)2014},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-0663.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NeiderR014,
author = {Daniel Neider and
Roman Rabinovich and
Martin Zimmermann},
title = {Down the Borel hierarchy: Solving Muller games via safety games},
journal = {Theor. Comput. Sci.},
volume = {560},
pages = {219--234},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.01.017},
doi = {10.1016/J.TCS.2014.01.017},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NeiderR014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Torfah014,
author = {Hazem Torfah and
Martin Zimmermann},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {The Complexity of Counting Models of Linear-time Temporal Logic},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {241--252},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.241},
doi = {10.4230/LIPICS.FSTTCS.2014.241},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/Torfah014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FaymonvilleZ14,
author = {Peter Faymonville and
Martin Zimmermann},
editor = {Adriano Peron and
Carla Piazza},
title = {Parametric Linear Dynamic Logic},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {60--73},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.8},
doi = {10.4204/EPTCS.161.8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/FaymonvilleZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HornTWZ14,
author = {Florian Horn and
Wolfgang Thomas and
Nico Wallmeier and
Martin Zimmermann},
title = {Optimal Strategy Synthesis for Request-Response Games},
journal = {CoRR},
volume = {abs/1406.4648},
year = {2014},
url = {http://arxiv.org/abs/1406.4648},
eprinttype = {arXiv},
eprint = {1406.4648},
timestamp = {Sun, 05 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HornTWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TorfahZ14,
author = {Hazem Torfah and
Martin Zimmermann},
title = {The Complexity of Counting Models of Linear-time Temporal Logic},
journal = {CoRR},
volume = {abs/1408.5752},
year = {2014},
url = {http://arxiv.org/abs/1408.5752},
eprinttype = {arXiv},
eprint = {1408.5752},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TorfahZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Zimmermann14a,
author = {Martin Zimmermann},
title = {Delay Games with {WMSO+U} Winning Conditions},
journal = {CoRR},
volume = {abs/1412.3978},
year = {2014},
url = {http://arxiv.org/abs/1412.3978},
eprinttype = {arXiv},
eprint = {1412.3978},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Zimmermann14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Zimmermann13,
author = {Martin Zimmermann},
title = {Optimal bounds in parametric {LTL} games},
journal = {Theor. Comput. Sci.},
volume = {493},
pages = {30--45},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.07.039},
doi = {10.1016/J.TCS.2012.07.039},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Zimmermann13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Zimmermann12a,
author = {Martin Zimmermann},
title = {Solving infinite games with bounds},
school = {{RWTH} Aachen University},
year = {2012},
url = {http://darwin.bth.rwth-aachen.de/opus3/volltexte/2012/3986},
urn = {urn:nbn:de:hbz:82-opus-39864},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/dnb/Zimmermann12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Fearnley012,
author = {John Fearnley and
Martin Zimmermann},
title = {Playing Muller Games in a Hurry},
journal = {Int. J. Found. Comput. Sci.},
volume = {23},
number = {3},
pages = {649--668},
year = {2012},
url = {https://doi.org/10.1142/S0129054112400321},
doi = {10.1142/S0129054112400321},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/Fearnley012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FijalkowZ12,
author = {Nathana{\"{e}}l Fijalkow and
Martin Zimmermann},
editor = {Deepak D'Souza and
Telikepalli Kavitha and
Jaikumar Radhakrishnan},
title = {Cost-Parity and Cost-Streett Games},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012,
Hyderabad, India},
series = {LIPIcs},
volume = {18},
pages = {124--135},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.124},
doi = {10.4230/LIPICS.FSTTCS.2012.124},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/FijalkowZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2457,
author = {Daniel Neider and
Roman Rabinovich and
Martin Zimmermann},
editor = {Marco Faella and
Aniello Murano},
title = {Down the Borel Hierarchy: Solving Muller Games via Safety Games},
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 = {169--182},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.13},
doi = {10.4204/EPTCS.96.13},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2457.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2458,
author = {Wladimir Fridman and
Martin Zimmermann},
editor = {Marco Faella and
Aniello Murano},
title = {Playing Pushdown Parity Games in a Hurry},
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 = {183--196},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.14},
doi = {10.4204/EPTCS.96.14},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2458.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FridmanLZ11,
author = {Wladimir Fridman and
Christof L{\"{o}}ding and
Martin Zimmermann},
editor = {Marc Bezem},
title = {Degrees of Lookahead in Context-free Infinite Games},
booktitle = {Computer Science Logic, 25th International Workshop / 20th Annual
Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
Norway, Proceedings},
series = {LIPIcs},
volume = {12},
pages = {264--276},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.CSL.2011.264},
doi = {10.4230/LIPICS.CSL.2011.264},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/FridmanLZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1237,
author = {Martin Zimmermann},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {Optimal Bounds in Parametric {LTL} Games},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {146--161},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.11},
doi = {10.4204/EPTCS.54.11},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1237.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1410,
author = {John Fearnley and
Martin Zimmermann},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Playing Muller Games in a Hurry},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {146--161},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.15},
doi = {10.4204/EPTCS.25.15},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1410.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Zimmermann09,
author = {Martin Zimmermann},
editor = {Sebastian Maneth},
title = {Time-Optimal Winning Strategies for Poset Games},
booktitle = {Implementation and Application of Automata, 14th International Conference,
{CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5642},
pages = {217--226},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02979-0\_25},
doi = {10.1007/978-3-642-02979-0\_25},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/Zimmermann09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
