Cited By
View all- Chatterjee KKafshdar Goharshady ENovotný PZárevúcky JŽikelić Đ(2023)On Lexicographic Proof Rules for Probabilistic TerminationFormal Aspects of Computing10.1145/358539135:2(1-25)Online publication date: 27-Feb-2023
- Chatterjee KGoharshady ENovotný PZárevúcky JŽikelić Đ(2021)On Lexicographic Proof Rules for Probabilistic TerminationFormal Methods10.1007/978-3-030-90870-6_33(619-639)Online publication date: 20-Nov-2021
- Wang PFu HGoharshady AChatterjee KQin XShi WMcKinley KFisher K(2019)Cost analysis of nondeterministic probabilistic programsProceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3314221.3314581(204-220)Online publication date: 8-Jun-2019
- Show More Cited By