ReachabilityAnalysis.jl
ReachabilityAnalysis.jl copied to clipboard

Published 20 hours ago •

Reame
Issues

Reachability for linear systems using Taylor models

Open mforets opened this issue 3 years ago • 0 comments

Chen, Xin, Sriram Sankaranarayanan, and Erika Abrahám. "Flow* 1.2: More Effective to Play with Hybrid Systems." ARCH@ CPSWeek. 2015.

https://www.cs.colorado.edu/~xich8622/papers/arch15.pdf

Nov 12 '20 10:11 mforets