Work

Probabilistic Separation Logics for Randomized Algorithms

Year: 2026
Type: dissertation
Abstract: 389 pages
Author: Bao, Jialu
Institution: Cornell University
Language: English
Open Access status: green
OpenAlex ID: W7148574237
Cites:
Cited by:
Related to: