Kasper Engelen

According to our database, Kasper Engelen authored at least 3 papers between 2023 and 2025.

Collaborative distances:

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

2025

Data-Efficient Safe Policy Improvement Using Parametric Structure.

Kasper Engelen, Guillermo A. Pérez, Marnix Suilen

CoRR, July, 2025

2024

Analyzing Value Functions of States in Parametric Markov Chains.

Kasper Engelen, Guillermo A. Pérez, Shrisha Rao

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Graph-Based Reductions for Parametric and Weighted MDPs.

Kasper Engelen, Guillermo A. Pérez, Shrisha Rao

Proceedings of the Automated Technology for Verification and Analysis, 2023