Stochastic Processes with Expected Stopping Time

Krishnendu Chatterjee, Laurent Doyen 0001. Stochastic Processes with Expected Stopping Time. In 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021. pages 1-13, IEEE, 2021. [doi]

Authors

Krishnendu Chatterjee

This author has not been identified. Look up 'Krishnendu Chatterjee' in Google

Laurent Doyen 0001

This author has not been identified. Look up 'Laurent Doyen 0001' in Google