Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System.

Alessandro Pinto Anthony Corso Edward Schmerling

Published in: CoRR (2023)

Keyphrases

case study
computational cost
empirical studies
optimization methods
methods require
data sets
data mining
image segmentation
multi agent
preprocessing
machine learning methods
computationally expensive
search methods
robotic systems