Assoziierter Promotionsstudent
Adresse
Room 4206
Ahornstraße 55
D-52074 Aachen
Publikationen im Rahmen von UnRAVeL
| Quelle | Autor(en) |
|---|---|
| [Buchbeitrag, Beitrag zu einem Tagungsband] On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : [Proceedings], 2023 [DOI: 10.1109/LICS56636.2023.10175714] | Winkler, Tobias (Corresponding author) Katoen, Joost-Pieter (Corresponding author) |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration In: 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 II / edited by Sriram Sankaranarayanan, Natasha Sharygina, 391-409, 2023 [DOI: 10.1007/978-3-031-30820-8_24] | Winkler, Tobias (Corresponding author) Katoen, Joost-Pieter |
| [Fachzeitschriftenartikel] Stochastic games with lexicographic objectives In: Formal methods in system design, 41 Seiten, 2023 [DOI: 10.1007/s10703-023-00411-4] | Chatterjee, Krishnendu Katoen, Joost-Pieter Mohr, Stefanie Weininger, Maximilian Winkler, Tobias (Corresponding author) |
| [Preprint] Exact Probabilistic Inference Using Generating Functions, 2023 | Klinkenberg, Lutz Winkler, Tobias Chen, Mingshuai Katoen, Joost-Pieter |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions In: Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I / edited by Sharon Shoham, Yakir Vizel, 79-101, 2022 [DOI: 10.1007/978-3-031-13185-1_5] | Chen, Mingshuai (Corresponding author) Katoen, Joost-Pieter (Corresponding author) Klinkenberg, Lutz (Corresponding author) Winkler, Tobias (Corresponding author) |
| [Beitrag zu einem Tagungsband, Fachzeitschriftenartikel] Weighted programming : a programming paradigm for specifying mathematical models In: Proceedings of the ACM on programming languages : (PACMPL), 66, 2022 [DOI: 10.1145/3527310] | Batz, Kevin (Corresponding author) Gallus, Adrian (Corresponding author) Kaminski, Benjamin Lucien (Corresponding author) Katoen, Joost-Pieter (Corresponding author) Winkler, Tobias (Corresponding author) |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Model Checking Temporal Properties of Recursive Probabilistic Programs In: Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / edited by Patricia Bouyer, Lutz Schröder, 449-469, 2022 [DOI: 10.1007/978-3-030-99253-8_23] | Winkler, Tobias (Corresponding author) Gehnen, Christina Katoen, Joost-Pieter |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Out of Control : Reducing Probabilistic Models by Control-State Elimination In: Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / edited by Bernd Finkbeiner, Thomas Wies, 450-472, 2022 [DOI: 10.1007/978-3-030-94583-1_22] | Winkler, Tobias (Corresponding author) Lehmann, Johannes Katoen, Joost-Pieter |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Stochastic Games with Disjunctions of Multiple Objectives In: Proceedings of the 12th International Symposium on Games, Automata, Logics, and Formal Verification : Padua, Italy, 20-22 September 2021 / Edited by: Pierre Ganty and Davide Bresolin, 85-100, 2021 [DOI: 10.4204/EPTCS.346.6] | Winkler, Tobias (Corresponding author) Weininger, Maximilian (Corresponding author) |
| [Fachzeitschriftenartikel] The complexity of reachability in parametric Markov decision processes In: Journal of computer and system sciences : JCSS, 119, 183-210, 2021 [DOI: 10.1016/j.jcss.2021.02.006] | Junges, Sebastian (Corresponding author) Katoen, Joost-Pieter Pérez, Guillermo A. Winkler, Tobias |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Generating Functions for Probabilistic Programs In: Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings / edited by Maribel Fernández, 231-248, 2021 [DOI: 10.1007/978-3-030-68446-4_12] | Klinkenberg, Lutz (Corresponding author) Batz, Kevin Kaminski, Benjamin Lucien Katoen, Joost-Pieter Moerman, Joshua et al. |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Approximating Values of Generalized-Reachability Stochastic Games In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020, Saarbrücken, Germany / sponsored by ACM Special Interest Group on Logic and Computation (SIGLOG), IEEE Technical Committee on Mathematical Foundations of Computing, Association for Symbolic Logic, European Association for Theoretical Computer Science (EATCS) ; conference chairs: Holger Hermanns, Lijun Zhang, Naoki Kobayashi, 102-115, 2020 [DOI: 10.1145/3373718.3394761] | Ashok, Pranav (Corresponding author) Chatterjee, Krishnendu (Corresponding author) Křetínský, Jan (Corresponding author) Weininger, Maximilian (Corresponding author) Winkler, Tobias (Corresponding author) |
| [Buchbeitrag, Beitrag zu einem Tagungsband] Stochastic Games with Lexicographic Reachability-Safety Objectives In: Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : Proceedings, Part II / Shuvendu K. Lahiri, Chao Wang (eds), 398-420, 2020 [DOI: 10.1007/978-3-030-53291-8_21] | Chatterjee, Krishnendu Katoen, Joost-Pieter Weininger, Maximilian Winkler, Tobias (Corresponding author) |
| [Buchbeitrag, Beitrag zu einem Tagungsband] On the Complexity of Reachability in Parametric Markov Decision Processes In: 30th International Conference on Concurrency Theory : CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands / edited by Wan Fokkink, Rob van Glabbeek, 2019 [DOI: 10.4230/LIPICS.CONCUR.2019.14] | Winkler, Tobias Junges, Sebastian (Corresponding author) Pérez, Guillermo A. Katoen, Joost-Pieter |