ReachabilityAnalysis.jl icon indicating copy to clipboard operation
ReachabilityAnalysis.jl copied to clipboard

Published 20 hours ago • verified publisher icon JuliaReach

Improved error model for reach-set at a time point

Open mforets opened this issue 3 years ago • 0 comments

See Lemma 2 in [1].

[1] http://stanleybak.com/papers/li2020formats.pdf

mforets avatar Apr 29 '21 15:04 mforets