On Lexicographic Proof Rules for Probabilistic Termination

DOI10.1007/978-3-030-90870-6_33zbMath1521.68034MaRDI QIDQ6488476

Đorđe Žikelić, Krishnendu Chatterjee, Petr Novotný, Unnamed Author, Unnamed Author

Publication date: 21 April 2023

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

This page was built for publication: On Lexicographic Proof Rules for Probabilistic Termination