default search action

combined dblp search
author search
venue search
publication search

ask others

BibTeX records: Tobias Meggendorfer

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Tobias Meggendorfer

download as .bib file

@article{DBLP:journals/iandc/BaierCMP24,
  author       = {Christel Baier and
                  Krishnendu Chatterjee and
                  Tobias Meggendorfer and
                  Jakob Piribauer},
  title        = {Entropic risk for turn-based stochastic games},
  journal      = {Inf. Comput.},
  volume       = {301},
  pages        = {105214},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.ic.2024.105214},
  doi          = {10.1016/J.IC.2024.105214},
  timestamp    = {Sun, 08 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/BaierCMP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/ChatterjeeGMZ24,
  author       = {Krishnendu Chatterjee and
                  Amir Kafshdar Goharshady and
                  Tobias Meggendorfer and
                  Dorde Zikelic},
  title        = {Quantitative Bounds on Resource Usage of Probabilistic Programs},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {8},
  number       = {{OOPSLA1}},
  pages        = {362--391},
  year         = {2024},
  url          = {https://doi.org/10.1145/3649824},
  doi          = {10.1145/3649824},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/ChatterjeeGMZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/MeggendorferW24,
  author       = {Tobias Meggendorfer and
                  Maximilian Weininger},
  editor       = {Arie Gurfinkel and
                  Vijay Ganesh},
  title        = {Playing Games with Your {PET:} Extending the Partial Exploration Tool
                  to Stochastic Games},
  booktitle    = {Computer Aided Verification - 36th International Conference, {CAV}
                  2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14683},
  pages        = {359--372},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-65633-0\_16},
  doi          = {10.1007/978-3-031-65633-0\_16},
  timestamp    = {Fri, 02 Aug 2024 12:00:01 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/MeggendorferW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/0001MT24,
  author       = {S. Akshay and
                  Tobias Meggendorfer and
                  P. S. Thiagarajan},
  editor       = {Rupak Majumdar and
                  Alexandra Silva},
  title        = {Causally Deterministic Markov Decision Processes},
  booktitle    = {35th International Conference on Concurrency Theory, {CONCUR} 2024,
                  September 9-13, 2024, Calgary, Canada},
  series       = {LIPIcs},
  volume       = {311},
  pages        = {6:1--6:22},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2024},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2024.6},
  doi          = {10.4230/LIPICS.CONCUR.2024.6},
  timestamp    = {Fri, 30 Aug 2024 16:44:11 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/0001MT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2403-09184,
  author       = {Tom{\'{a}}s Br{\'{a}}zdil and
                  Krishnendu Chatterjee and
                  Martin Chmelik and
                  Vojtech Forejt and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Marta Kwiatkowska and
                  Tobias Meggendorfer and
                  David Parker and
                  Mateusz Ujma},
  title        = {Learning Algorithms for Verification of Markov Decision Processes},
  journal      = {CoRR},
  volume       = {abs/2403.09184},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2403.09184},
  doi          = {10.48550/ARXIV.2403.09184},
  eprinttype    = {arXiv},
  eprint       = {2403.09184},
  timestamp    = {Fri, 05 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-09184.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2404-05424,
  author       = {Tobias Meggendorfer and
                  Maximilian Weininger and
                  Patrick Wienh{\"{o}}ft},
  title        = {What Are the Odds? Improving the foundations of Statistical Model
                  Checking},
  journal      = {CoRR},
  volume       = {abs/2404.05424},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2404.05424},
  doi          = {10.48550/ARXIV.2404.05424},
  eprinttype    = {arXiv},
  eprint       = {2404.05424},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2404-05424.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2405-03885,
  author       = {Tobias Meggendorfer and
                  Maximilian Weininger},
  title        = {Playing Games with your {PET:} Extending the Partial Exploration Tool
                  to Stochastic Games},
  journal      = {CoRR},
  volume       = {abs/2405.03885},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2405.03885},
  doi          = {10.48550/ARXIV.2405.03885},
  eprinttype    = {arXiv},
  eprint       = {2405.03885},
  timestamp    = {Fri, 07 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2405-03885.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2405-04015,
  author       = {S. Akshay and
                  Krishnendu Chatterjee and
                  Tobias Meggendorfer and
                  Dorde Zikelic},
  title        = {Certified Policy Verification and Synthesis for MDPs under Distributional
                  Reach-avoidance Properties},
  journal      = {CoRR},
  volume       = {abs/2405.04015},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2405.04015},
  doi          = {10.48550/ARXIV.2405.04015},
  eprinttype    = {arXiv},
  eprint       = {2405.04015},
  timestamp    = {Fri, 07 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2405-04015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2405-13583,
  author       = {Roman Andriushchenko and
                  Alexander Bork and
                  Carlos E. Budde and
                  Milan Ceska and
                  Kush Grover and
                  Ernst Moritz Hahn and
                  Arnd Hartmanns and
                  Bryant Israelsen and
                  Nils Jansen and
                  Joshua Jeppson and
                  Sebastian Junges and
                  Maximilian A. K{\"{o}}hl and
                  Bettina K{\"{o}}nighofer and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer and
                  David Parker and
                  Stefan Pranger and
                  Tim Quatmann and
                  Enno Ruijters and
                  Landon Taylor and
                  Matthias Volk and
                  Maximilian Weininger and
                  Zhen Zhang},
  title        = {Tools at the Frontiers of Quantitative Verification},
  journal      = {CoRR},
  volume       = {abs/2405.13583},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2405.13583},
  doi          = {10.48550/ARXIV.2405.13583},
  eprinttype    = {arXiv},
  eprint       = {2405.13583},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2405-13583.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/AkshayCMZ23,
  author       = {S. Akshay and
                  Krishnendu Chatterjee and
                  Tobias Meggendorfer and
                  Dorde Zikelic},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {MDPs as Distribution Transformers: Affine Invariant Synthesis for
                  Safety Objectives},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {86--112},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_5},
  doi          = {10.1007/978-3-031-37709-9\_5},
  timestamp    = {Tue, 12 Sep 2023 07:57:21 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AkshayCMZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KretinskyMPR23,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer and
                  Maximilian Prokop and
                  Sabine Rieder},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Guessing Winning Policies in {LTL} Synthesis by Semantic Learning},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13964},
  pages        = {390--414},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37706-8\_20},
  doi          = {10.1007/978-3-031-37706-8\_20},
  timestamp    = {Tue, 12 Sep 2023 07:57:21 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/KretinskyMPR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecai/AvniMSTZ23,
  author       = {Guy Avni and
                  Tobias Meggendorfer and
                  Suman Sadhukhan and
                  Josef Tkadlec and
                  Dorde Zikelic},
  editor       = {Kobi Gal and
                  Ann Now{\'{e}} and
                  Grzegorz J. Nalepa and
                  Roy Fairstein and
                  Roxana Radulescu},
  title        = {Reachability Poorman Discrete-Bidding Games},
  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        = {141--148},
  publisher    = {{IOS} Press},
  year         = {2023},
  url          = {https://doi.org/10.3233/FAIA230264},
  doi          = {10.3233/FAIA230264},
  timestamp    = {Mon, 02 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/AvniMSTZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/KretinskyMW23,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer and
                  Maximilian Weininger},
  title        = {Stopping Criteria for Value Iteration on Stochastic Games with Quantitative
                  Objectives},
  booktitle    = {38th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2023, Boston, MA, USA, June 26-29, 2023},
  pages        = {1--14},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/LICS56636.2023.10175771},
  doi          = {10.1109/LICS56636.2023.10175771},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/KretinskyMW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/BaierCMP23,
  author       = {Christel Baier and
                  Krishnendu Chatterjee and
                  Tobias Meggendorfer and
                  Jakob Piribauer},
  editor       = {J{\'{e}}r{\^{o}}me Leroux and
                  Sylvain Lombardy and
                  David Peleg},
  title        = {Entropic Risk for Turn-Based Stochastic Games},
  booktitle    = {48th International Symposium on Mathematical Foundations of Computer
                  Science, {MFCS} 2023, August 28 to September 1, 2023, Bordeaux, France},
  series       = {LIPIcs},
  volume       = {272},
  pages        = {15:1--15:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.MFCS.2023.15},
  doi          = {10.4230/LIPICS.MFCS.2023.15},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/BaierCMP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/soda/ChatterjeeMSS23,
  author       = {Krishnendu Chatterjee and
                  Tobias Meggendorfer and
                  Raimundo Saona and
                  Jakub Svoboda},
  editor       = {Nikhil Bansal and
                  Viswanath Nagarajan},
  title        = {Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth},
  booktitle    = {Proceedings of the 2023 {ACM-SIAM} Symposium on Discrete Algorithms,
                  {SODA} 2023, Florence, Italy, January 22-25, 2023},
  pages        = {4590--4605},
  publisher    = {{SIAM}},
  year         = {2023},
  url          = {https://doi.org/10.1137/1.9781611977554.ch173},
  doi          = {10.1137/1.9781611977554.CH173},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/soda/ChatterjeeMSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/Meggendorfer23,
  author       = {Tobias Meggendorfer},
  editor       = {Sriram Sankaranarayanan and
                  Natasha Sharygina},
  title        = {Correct Approximation of Stationary Distributions},
  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        = {489--507},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30823-9\_25},
  doi          = {10.1007/978-3-031-30823-9\_25},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/Meggendorfer23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2301-08137,
  author       = {Tobias Meggendorfer},
  title        = {Correct Approximation of Stationary Distributions},
  journal      = {CoRR},
  volume       = {abs/2301.08137},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2301.08137},
  doi          = {10.48550/ARXIV.2301.08137},
  eprinttype    = {arXiv},
  eprint       = {2301.08137},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2301-08137.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2304-09930,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer and
                  Maximilian Weininger},
  title        = {Stopping Criteria for Value Iteration on Stochastic Games with Quantitative
                  Objectives},
  journal      = {CoRR},
  volume       = {abs/2304.09930},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2304.09930},
  doi          = {10.48550/ARXIV.2304.09930},
  eprinttype    = {arXiv},
  eprint       = {2304.09930},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2304-09930.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2305-15109,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer and
                  Maximilian Prokop and
                  Sabine Rieder},
  title        = {Guessing Winning Policies in {LTL} Synthesis by Semantic Learning},
  journal      = {CoRR},
  volume       = {abs/2305.15109},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.15109},
  doi          = {10.48550/ARXIV.2305.15109},
  eprinttype    = {arXiv},
  eprint       = {2305.15109},
  timestamp    = {Tue, 06 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-15109.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2305-16796,
  author       = {S. Akshay and
                  Krishnendu Chatterjee and
                  Tobias Meggendorfer and
                  Dorde Zikelic},
  title        = {MDPs as Distribution Transformers: Affine Invariant Synthesis for
                  Safety Objectives},
  journal      = {CoRR},
  volume       = {abs/2305.16796},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.16796},
  doi          = {10.48550/ARXIV.2305.16796},
  eprinttype    = {arXiv},
  eprint       = {2305.16796},
  timestamp    = {Tue, 13 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-16796.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2307-06611,
  author       = {Christel Baier and
                  Krishnendu Chatterjee and
                  Tobias Meggendorfer and
                  Jakob Piribauer},
  title        = {Entropic Risk for Turn-Based Stochastic Games},
  journal      = {CoRR},
  volume       = {abs/2307.06611},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.06611},
  doi          = {10.48550/ARXIV.2307.06611},
  eprinttype    = {arXiv},
  eprint       = {2307.06611},
  timestamp    = {Mon, 24 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-06611.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2307-15218,
  author       = {Guy Avni and
                  Tobias Meggendorfer and
                  Suman Sadhukhan and
                  Josef Tkadlec and
                  Dorde Zikelic},
  title        = {Reachability Poorman Discrete-Bidding Games},
  journal      = {CoRR},
  volume       = {abs/2307.15218},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.15218},
  doi          = {10.48550/ARXIV.2307.15218},
  eprinttype    = {arXiv},
  eprint       = {2307.15218},
  timestamp    = {Wed, 02 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-15218.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/KretinskyMWW22,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer and
                  Clara Waldmann and
                  Maximilian Weininger},
  title        = {Index appearance record with preorders},
  journal      = {Acta Informatica},
  volume       = {59},
  number       = {5},
  pages        = {585--618},
  year         = {2022},
  url          = {https://doi.org/10.1007/s00236-021-00412-y},
  doi          = {10.1007/S00236-021-00412-Y},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/acta/KretinskyMWW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/Meggendorfer22,
  author       = {Tobias Meggendorfer},
  title        = {Risk-Aware Stochastic Shortest Path},
  booktitle    = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2022, Thirty-Fourth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
                  - March 1, 2022},
  pages        = {9858--9867},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://doi.org/10.1609/aaai.v36i9.21222},
  doi          = {10.1609/AAAI.V36I9.21222},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Meggendorfer22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/Meggendorfer22,
  author       = {Tobias Meggendorfer},
  editor       = {Ahmed Bouajjani and
                  Luk{\'{a}}s Hol{\'{\i}}k and
                  Zhilin Wu},
  title        = {{PET} - {A} Partial Exploration Tool for Probabilistic Verification},
  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        = {320--326},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19992-9\_20},
  doi          = {10.1007/978-3-031-19992-9\_20},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/Meggendorfer22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ChatterjeeGMZ22,
  author       = {Krishnendu Chatterjee and
                  Amir Kafshdar Goharshady and
                  Tobias Meggendorfer and
                  Dorde Zikelic},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Sound and Complete Certificates for Quantitative Termination Analysis
                  of Probabilistic Programs},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {55--78},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_4},
  doi          = {10.1007/978-3-031-13185-1\_4},
  timestamp    = {Tue, 09 Aug 2022 17:05:51 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ChatterjeeGMZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/GroverKMW22,
  author       = {Kush Grover and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer and
                  Maximilian Weininger},
  editor       = {Bartek Klin and
                  Slawomir Lasota and
                  Anca Muscholl},
  title        = {Anytime Guarantees for Reachability in Uncountable Markov Decision
                  Processes},
  booktitle    = {33rd International Conference on Concurrency Theory, {CONCUR} 2022,
                  September 12-16, 2022, Warsaw, Poland},
  series       = {LIPIcs},
  volume       = {243},
  pages        = {11:1--11:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.11},
  doi          = {10.4230/LIPICS.CONCUR.2022.11},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/GroverKMW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/AhmadiCGMSZ22,
  author       = {Ali Ahmadi and
                  Krishnendu Chatterjee and
                  Amir Kafshdar Goharshady and
                  Tobias Meggendorfer and
                  Roodabeh Safavi and
                  Dorde Zikelic},
  editor       = {Anuj Dawar and
                  Venkatesan Guruswami},
  title        = {Algorithms and Hardness Results for Computing Cores of Markov Chains},
  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        = {29:1--29:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.29},
  doi          = {10.4230/LIPICS.FSTTCS.2022.29},
  timestamp    = {Mon, 02 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/AhmadiCGMSZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2203-01640,
  author       = {Tobias Meggendorfer},
  title        = {Risk-aware Stochastic Shortest Path},
  journal      = {CoRR},
  volume       = {abs/2203.01640},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.01640},
  doi          = {10.48550/ARXIV.2203.01640},
  eprinttype    = {arXiv},
  eprint       = {2203.01640},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-01640.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2207-13660,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer and
                  Maximilian Weininger},
  title        = {Satisfiability Bounds for {\(\omega\)}-Regular Properties in Bounded-Parameter
                  Markov Decision Processes},
  journal      = {CoRR},
  volume       = {abs/2207.13660},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2207.13660},
  doi          = {10.48550/ARXIV.2207.13660},
  eprinttype    = {arXiv},
  eprint       = {2207.13660},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-13660.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/dnb/Meggendorfer21,
  author       = {Tobias Meggendorfer},
  title        = {Verification of Discrete-Time Markov Decision Processes},
  school       = {Technical University of Munich, Germany},
  year         = {2021},
  url          = {https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20210226-1550256-1-5},
  urn          = {urn:nbn:de:bvb:91-diss-20210226-1550256-1-5},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Meggendorfer21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/gidiss/Meggendorfer21,
  author       = {Tobias Meggendorfer},
  editor       = {Steffen H{\"{o}}lldobler and
                  R{\"{u}}diger Reischuk and
                  Sven Apel and
                  Abraham Bernstein and
                  Felix C. Freiling and
                  Hans{-}Peter Lenhof and
                  Gustaf Neumann and
                  Kay Uwe R{\"{o}}mer and
                  Bj{\"{o}}rn Scheuermann and
                  Nicole Schweikardt and
                  Klaus Wehrle},
  title        = {Verifikation von Markov Entscheidungsprozessen in diskreter Zeit},
  booktitle    = {Ausgezeichnete Informatikdissertationen 2021},
  series       = {{LNI}},
  volume       = {{D-22}},
  pages        = {201--210},
  publisher    = {{GI}},
  year         = {2021},
  url          = {https://dl.gi.de/handle/20.500.12116/39843},
  timestamp    = {Thu, 16 Nov 2023 14:54:55 +0100},
  biburl       = {https://dblp.org/rec/series/gidiss/Meggendorfer21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/KretinskyM20,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer},
  title        = {Of Cores: {A} Partial-Exploration Framework for Markov Decision Processes},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {16},
  number       = {4},
  year         = {2020},
  url          = {https://lmcs.episciences.org/6833},
  timestamp    = {Wed, 28 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/KretinskyM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2008-04824,
  author       = {Kush Grover and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer and
                  Maximilian Weininger},
  title        = {An Anytime Algorithm for Reachability on Uncountable {MDP}},
  journal      = {CoRR},
  volume       = {abs/2008.04824},
  year         = {2020},
  url          = {https://arxiv.org/abs/2008.04824},
  eprinttype    = {arXiv},
  eprint       = {2008.04824},
  timestamp    = {Sun, 16 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-04824.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/KretinskyMM19,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Alexander Manta and
                  Tobias Meggendorfer},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Semantic Labelling and Learning for Parity Game Solving in {LTL} Synthesis},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {404--422},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_24},
  doi          = {10.1007/978-3-030-31784-3\_24},
  timestamp    = {Mon, 03 Jan 2022 17:11:32 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/KretinskyMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/WeiningerMK19,
  author       = {Maximilian Weininger and
                  Tobias Meggendorfer and
                  Jan Kret{\'{\i}}nsk{\'{y}}},
  title        = {Satisfiability Bounds for {\(\omega\)}-Regular Properties in Bounded-Parameter
                  Markov Decision Processes},
  booktitle    = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
                  France, December 11-13, 2019},
  pages        = {2284--2291},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/CDC40024.2019.9029460},
  doi          = {10.1109/CDC40024.2019.9029460},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cdc/WeiningerMK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/KretinskyM19,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer},
  editor       = {Wan J. Fokkink and
                  Rob van Glabbeek},
  title        = {Of Cores: {A} Partial-Exploration Framework for Markov Decision Processes},
  booktitle    = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
                  August 27-30, 2019, Amsterdam, the Netherlands},
  series       = {LIPIcs},
  volume       = {140},
  pages        = {5:1--5:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.5},
  doi          = {10.4230/LIPICS.CONCUR.2019.5},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/KretinskyM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@misc{DBLP:data/10/KretinskyMM19,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Alexander Manta and
                  Tobias Meggendorfer},
  title        = {Artefact for paper: Semantic Labelling and Learning for Parity Game
                  Solving in {LTL} Synthesis (Version 1.0)},
  publisher    = {Zenodo},
  year         = {2019},
  month        = jun,
  howpublished = {\url{https://doi.org/10.5281/zenodo.3253015}},
  note         = {Accessed on YYYY-MM-DD.},
  url          = {https://doi.org/10.5281/zenodo.3253015},
  doi          = {10.5281/ZENODO.3253015},
  timestamp    = {Fri, 06 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/data/10/KretinskyMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@misc{DBLP:data/10/KretinskyMM19a,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Alexander Manta and
                  Tobias Meggendorfer},
  title        = {Artefact for paper: Semantic Labelling and Learning for Parity Game
                  Solving in {LTL} Synthesis (Version 1.0)},
  publisher    = {Zenodo},
  year         = {2019},
  month        = jun,
  howpublished = {\url{https://doi.org/10.5281/zenodo.3255854}},
  note         = {Accessed on YYYY-MM-DD.},
  url          = {https://doi.org/10.5281/zenodo.3255854},
  doi          = {10.5281/ZENODO.3255854},
  timestamp    = {Fri, 06 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/data/10/KretinskyMM19a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1906-06931,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer},
  title        = {Of Cores: {A} Partial-Exploration Framework for Markov Decision Processes},
  journal      = {CoRR},
  volume       = {abs/1906.06931},
  year         = {2019},
  url          = {http://arxiv.org/abs/1906.06931},
  eprinttype    = {arXiv},
  eprint       = {1906.06931},
  timestamp    = {Mon, 24 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-06931.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1907-12157,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Alexander Manta and
                  Tobias Meggendorfer},
  title        = {Semantic Labelling and Learning for Parity Game Solving in {LTL} Synthesis},
  journal      = {CoRR},
  volume       = {abs/1907.12157},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.12157},
  eprinttype    = {arXiv},
  eprint       = {1907.12157},
  timestamp    = {Sat, 29 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-12157.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/KretinskyMS18,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer and
                  Salomon Sickert},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Owl: {A} Library for {\(\omega\)}-Words, Automata, and {LTL}},
  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        = {543--550},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-01090-4\_34},
  doi          = {10.1007/978-3-030-01090-4\_34},
  timestamp    = {Thu, 05 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/KretinskyMS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KretinskyMSZ18,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer and
                  Salomon Sickert and
                  Christopher Ziegler},
  editor       = {Hana Chockler and
                  Georg Weissenbacher},
  title        = {Rabinizer 4: From {LTL} to Your Favourite Deterministic Automaton},
  booktitle    = {Computer Aided Verification - 30th International Conference, {CAV}
                  2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
                  UK, July 14-17, 2018, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10981},
  pages        = {567--577},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-96145-3\_30},
  doi          = {10.1007/978-3-319-96145-3\_30},
  timestamp    = {Fri, 09 Apr 2021 18:35:27 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/KretinskyMSZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/KretinskyM18,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer},
  editor       = {Anuj Dawar and
                  Erich Gr{\"{a}}del},
  title        = {Conditional Value-at-Risk for Reachability and Mean Payoff in Markov
                  Decision Processes},
  booktitle    = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
                  Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
  pages        = {609--618},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3209108.3209176},
  doi          = {10.1145/3209108.3209176},
  timestamp    = {Wed, 21 Nov 2018 12:44:18 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/KretinskyM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1805-02946,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer},
  title        = {Conditional Value-at-Risk for Reachability and Mean Payoff in Markov
                  Decision Processes},
  journal      = {CoRR},
  volume       = {abs/1805.02946},
  year         = {2018},
  url          = {http://arxiv.org/abs/1805.02946},
  eprinttype    = {arXiv},
  eprint       = {1805.02946},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-02946.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1807-03296,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer and
                  Salomon Sickert},
  title        = {{LTL} Store: Repository of {LTL} formulae from literature and case
                  studies},
  journal      = {CoRR},
  volume       = {abs/1807.03296},
  year         = {2018},
  url          = {http://arxiv.org/abs/1807.03296},
  eprinttype    = {arXiv},
  eprint       = {1807.03296},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-03296.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/KretinskyM17,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer},
  editor       = {Deepak D'Souza and
                  K. Narayan Kumar},
  title        = {Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes},
  booktitle    = {Automated Technology for Verification and Analysis - 15th International
                  Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10482},
  pages        = {380--399},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68167-2\_25},
  doi          = {10.1007/978-3-319-68167-2\_25},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/KretinskyM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/AshokCDKM17,
  author       = {Pranav Ashok and
                  Krishnendu Chatterjee and
                  Przemyslaw Daca and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer},
  editor       = {Rupak Majumdar and
                  Viktor Kuncak},
  title        = {Value Iteration for Long-Run Average Reward in Markov Decision Processes},
  booktitle    = {Computer Aided Verification - 29th International Conference, {CAV}
                  2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10426},
  pages        = {201--221},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63387-9\_10},
  doi          = {10.1007/978-3-319-63387-9\_10},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AshokCDKM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/KretinskyMWW17,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer and
                  Clara Waldmann and
                  Maximilian Weininger},
  editor       = {Axel Legay and
                  Tiziana Margaria},
  title        = {Index Appearance Record for Transforming Rabin Automata into Parity
                  Automata},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 23rd International Conference, {TACAS} 2017, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10205},
  pages        = {443--460},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-662-54577-5\_26},
  doi          = {10.1007/978-3-662-54577-5\_26},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/KretinskyMWW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/KretinskyMWW17,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer and
                  Clara Waldmann and
                  Maximilian Weininger},
  title        = {Index appearance record for transforming Rabin automata into parity
                  automata},
  journal      = {CoRR},
  volume       = {abs/1701.05738},
  year         = {2017},
  url          = {http://arxiv.org/abs/1701.05738},
  eprinttype    = {arXiv},
  eprint       = {1701.05738},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KretinskyMWW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/AshokCDKM17,
  author       = {Pranav Ashok and
                  Krishnendu Chatterjee and
                  Przemyslaw Daca and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer},
  title        = {Value Iteration for Long-run Average Reward in Markov Decision Processes},
  journal      = {CoRR},
  volume       = {abs/1705.02326},
  year         = {2017},
  url          = {http://arxiv.org/abs/1705.02326},
  eprinttype    = {arXiv},
  eprint       = {1705.02326},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AshokCDKM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/KretinskyM17,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer},
  title        = {Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes},
  journal      = {CoRR},
  volume       = {abs/1707.01859},
  year         = {2017},
  url          = {http://arxiv.org/abs/1707.01859},
  eprinttype    = {arXiv},
  eprint       = {1707.01859},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KretinskyM17.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.