Jip Spel

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 7

Top Topics

Fault Tree Analysis

Markov Processes

Top Venues

Publications

Jip Spel, Svenja Stein, Joost-Pieter Katoen
POMDP Controllers with Optimal Budget. QEST (2022)
Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen
Gradient-Descent for Randomized Controllers Under Partial Observability. VMCAI (2022)
Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen
Gradient-Descent for Randomized Controllers under Partial Observability. CoRR (2021)
Jip Spel, Sebastian Junges, Joost-Pieter Katoen
Finding Provably Optimal Markov Chains. TACAS (1) (2021)
Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Spel
Tweaking the Odds in Probabilistic Timed Automata. QEST (2021)
Jip Spel, Sebastian Junges, Joost-Pieter Katoen
Are Parametric Markov Chains Monotonic? ATVA (2019)
Jip Spel, Sebastian Junges, Joost-Pieter Katoen
Are Parametric Markov Chains Monotonic? CoRR (2019)
Dennis Guck, Jip Spel, Mariëlle Stoelinga
DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper). ICFEM (2015)