Work Presented on Stochastic Abstractions

Our work on robustly complete stochastic abstractions was presented at the 9th Meeting on System and Control Theory, held in Waterloo, Ontario, Canada.