Login / Signup
Safe-by-design planner-tracker synthesis with a hierarchy of system models.
Katherine S. Schweidel
He Yin
Stanley W. Smith
Murat Arcak
Published in:
Annu. Rev. Control. (2022)
Keyphrases
</>
statistical models
design choices
case study
prior knowledge
design tools
design process
experimental data
design principles
domain independent
design space
design decisions
visual tracking
software architecture
real time
particle filter
decision trees
neural network