Jip Spel

M. Sc.


Jip Spel
Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)


Gebäude: 2353 (E1), 2. OG

Raum: 4207

Ahornstr. 55

52074 Aachen


Telefon: +49 241 80 21202
Fax Fax: +49 241 80 22217


Monotonicity in parametric Markov chains
Sebastian Junges: Parameter synthesis in Markov models
Tobias Winkler: Programming and Verifying Uncertain Phenomena
MFCS 2019 organising committee 11.2018- 08.2019
Member of organisation committee, 03.2019

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


Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Buchbeitrag, Beitrag zu einem Tagungsband]
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
[Buchbeitrag, Beitrag zu einem Tagungsband]
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
[Buchbeitrag, Beitrag zu einem Tagungsband]
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 / Editors: Jan Friso GrooteKim Guldstrand Larsen. - Part I, 173-190, 2021
[DOI: 10.1007/978-3-030-72016-2_10]
Spel, Jip Josephine (Corresponding author)
Junges, Sebastian
Katoen, Joost-Pieter
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020
Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard
Dannert, Katrin M.
Lindner, Peter
et al.
[Buchbeitrag, Beitrag zu einem Tagungsband]
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