Logical Relations for Formally Verified Authenticated Data Structures
Published in , 1900
Publications
Conference Papers
PAC statistical model checking of mean payoff in discrete- and continuous-time MDP
Published in CAV 2022, 1900
The Multi-Vehicle Ride-Sharing Problem
Published in WSDM 2022, 1900