Daniel Zilken

According to our database, Daniel Zilken authored at least 2 papers in 2025.

Collaborative distances:

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

2025

Verifying Sampling Algorithms via Distributional Invariants.

Kevin Batz, Joost-Pieter Katoen, Tobias Winkler, Daniel Zilken

CoRR, September, 2025

Fixed Point Certificates for Reachability and Expected Rewards in MDPs.

Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken

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