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

Alessandro Pinto Anthony Corso Edward Schmerling

Published in: ICAA (2023)

Keyphrases

significant improvement
neural network
case study
cooperative
computational cost
learning algorithm
computer vision
artificial neural networks
evolutionary algorithm
statistical models