Safe-by-Design Planner-Tracker Synthesis.

Katherine S. Schweidel He Yin Stanley W. Smith Murat Arcak

Published in: CoRR (2022)

Keyphrases

design process
database
real time
particle filter
engineering design
artificial intelligence
case study
software engineering
domain independent