Back to Results
First PageMeta Content



Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision Alessandro Abate Luca Bortolussi
Add to Reading List

Document Date: 2017-01-31 07:04:26


Open Document

File Size: 337,43 KB

Share Result on Facebook