Obserwuj
VR Sathiyanarayana
VR Sathiyanarayana
Zweryfikowany adres z mpi-sws.org - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Positive almost-sure termination: complexity and proof rules
R Majumdar, VR Sathiyanarayana
Proceedings of the ACM on Programming Languages 8 (POPL), 1089-1117, 2024
42024
Sound and complete proof rules for probabilistic termination
R Majumdar, VR Sathiyanarayana
Proceedings of the ACM on Programming Languages 9 (POPL), 1871-1902, 2025
32025
Necessary and Sufficient Certificates for Almost Sure Reachability
R Majumdar, VR Sathiyanarayana, S Soudjani
IEEE Control Systems Letters, 2024
2024
Sound and Complete Techniques for Reasoning About Termination
R Majumdar, VR Sathiyanarayana
Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024
2024
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–4