| Dissertation project |
|---|
| Monotonicity in Markov Models |
| Collaborations |
| Sebastian Junges: Parameter synthesis in Markov models |
| Tobias Winkler: Programming and Verifying Uncertain Phenomena |
| Engagement |
|
MFCS 2019 organising committee 11.2018- 08.2019 |
| Member of organisation committee, 03.2019 |
| Talks |
| Open for all UnRAVeL Members: MOVES Seminar: Gradient-Descent for Randomized Controllers under Partial Observability |
| Bi-Weekly Talk: Jip Spel: Finding Provably Optimal Markov Chains |
| Bi-Weekly Talk: Jip Spel: Are Parametric Markov Chains Monotonic? |
| Präsentation: Jip Spel |
Publications related to UnRAVeL
| Source | Author(s) |
|---|---|
| [Contribution to a book, Contribution to a conference proceedings] POMDP Controllers with Optimal Budget In: Quantitative evaluation of systems : 19th international conference, QEST 2022 Warsaw, Poland, September 12-16, 2022, proceedings / Erika Ábrahám, Marco Paolieri (eds.), 107-130, 2022 [DOI: 10.1007/978-3-031-16336-4_6] | Spel, Jip Josephine (Corresponding author) Stein, Svenja Maria Katoen, Joost-Pieter |
| [Contribution to a book, Contribution to a conference proceedings] Gradient-Descent for Randomized Controllers Under Partial Observability 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, 127-150, 2022 [DOI: 10.1007/978-3-030-94583-1_7] | Heck, Linus Spel, Jip Josephine (Corresponding author) Junges, Sebastian Moerman, Joshua Katoen, Joost-Pieter |
| [Contribution to a book, Contribution to a conference proceedings] Tweaking the Odds in Probabilistic Timed Automata In: Quantitative evaluation of systems : 18th International Conference, QEST 2021 Paris, France, August 23-27, 2021 : Proceedings / Alessandro Abate, Andrea Marin (Eds.), 39-58, 2021 [DOI: 10.1007/978-3-030-85172-9_3] | Hartmanns, Arnd (Corresponding author) Katoen, Joost-Pieter Kohlen, Bram Spel, Jip Josephine |
| [Contribution to a book, Contribution to a conference proceedings] Finding Provably Optimal Markov Chains In: Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I, 173-190, 2021 [DOI: 10.1007/978-3-030-72016-2_10] | Spel, Jip Josephine (Corresponding author) Junges, Sebastian Katoen, Joost-Pieter |
| [Report] UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020 | Katoen, Joost-Pieter Ritzert, Martin Wilke, Richard Marlon Dannert, Katrin M. Lindner, Peter et al. |
| [Contribution to a book, Contribution to a conference proceedings] Are Parametric Markov Chains Monotonic? In: Automated technology for verification and analysis : 17th International symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings / Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.), 479-496, 2019 [DOI: 10.1007/978-3-030-31784-3_28] | Spel, Jip Josephine (Corresponding author) Junges, Sebastian Katoen, Joost-Pieter |