Jip Spel

According to our database, Jip Spel authored at least 10 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Monotonicity in Markov models.

Jip Spel

PhD thesis, 2023

2022

POMDP Controllers With Optimal Budget (Artifact).

Jip Spel, Svenja Stein, Joost-Pieter Katoen

Dataset, July, 2022

Finding Provably Optimal Markov Chains (Artifact).

Jip Spel, Sebastian Junges, Joost-Pieter Katoen

Dataset, May, 2022

Gradient-Descent for Randomized Controllers Under Partial Observability.

Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

POMDP Controllers with Optimal Budget.

Jip Spel, Svenja Stein, Joost-Pieter Katoen

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

2021

Gradient-Descent for Randomized Controllers under Partial Observability (Artifact).

Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen

Dataset, November, 2021

Finding Provably Optimal Markov Chains.

Jip Spel, Sebastian Junges, Joost-Pieter Katoen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Tweaking the Odds in Probabilistic Timed Automata.

Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Spel

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

2019

Are Parametric Markov Chains Monotonic?

Jip Spel, Sebastian Junges, Joost-Pieter Katoen

Proceedings of the Automated Technology for Verification and Analysis, 2019

2015

DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper).

Dennis Guck, Jip Spel, Mariëlle Stoelinga

Proceedings of the Formal Methods and Software Engineering, 2015