Login
- Title:
Set Propagation Techniques for Reachability Analysis
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Althoff, M.; Frehse, G.; Girard, A.
- Keywords:
- justITSELF
- Journal title:
- Annual Review of Control, Robotics, and Autonomous Systems
- Year:
- 2021
- Journal volume:
- 4
- Journal issue:
- 1
- Pages contribution:
- 369--395
- Fulltext / DOI:
- doi:10.1146/annurev-control-071420-081941
BibTeX