Skip to Main content Skip to Navigation


...
hal-03048155v1  Journal articles
Matthias AlthoffGoran FrehseAntoine Girard. Set Propagation Techniques for Reachability Analysis
Annual Review of Control, Robotics, and Autonomous Systems , Annual Reviews 2021, 4 (1), ⟨10.1146/annurev-control-071420-081941⟩