Filter your results
- 3
- 1
- 3
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 4
- 2
- 1
- 1
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Dec 2021, Austin, France. pp.32-8, ⟨10.29007/2jw8⟩
Conference papers
hal-03587676v1
|
||
|
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear DynamicsARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩
Conference papers
hal-03068407v1
|
||
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear DynamicsARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Apr 2019, Montréal, Canada. pp.41-19
Conference papers
hal-02167586v1
|
|||
|
Set Propagation Techniques for Reachability AnalysisAnnual Review of Control, Robotics, and Autonomous Systems , 2021, 4 (1), ⟨10.1146/annurev-control-071420-081941⟩
Journal articles
hal-03048155v1
|