Daniel Zilken

According to our database, Daniel Zilken authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

Verifying Sampling Algorithms via Distributional Invariants.

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

Proceedings of the Formal Methods - 27th International Symposium, 2026

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