Kasper Engelen

Orcid: 0000-0001-8986-9949

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Data-Efficient Safe Policy Improvement Using Parametric Structure.

[DOI]

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025

2024

Analyzing Value Functions of States in Parametric Markov Chains.

[DOI]

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

2023

Graph-Based Reductions for Parametric and Weighted MDPs.

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023