Daniel Zilken

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Verifying Sampling Algorithms via Distributional Invariants.
CoRR, September, 2025

Fixed Point Certificates for Reachability and Expected Rewards in MDPs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025


  Loading...