V. R. Sathiyanarayana

According to our database, V. R. Sathiyanarayana authored at least 4 papers between 2024 and 2025.

Collaborative distances:

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

2025

Sound and Complete Proof Rules for Probabilistic Termination.

Rupak Majumdar, V. R. Sathiyanarayana

Proc. ACM Program. Lang., 2025

2024

Positive Almost-Sure Termination: Complexity and Proof Rules.

Rupak Majumdar, V. R. Sathiyanarayana

Proc. ACM Program. Lang., January, 2024

Necessary and Sufficient Certificates for Almost Sure Reachability.

Rupak Majumdar, V. R. Sathiyanarayana, Sadegh Soudjani

IEEE Control. Syst. Lett., 2024

Sound and Complete Techniques for Reasoning About Termination.

Rupak Majumdar, V. R. Sathiyanarayana

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