Contract based Design of Symbolic Controllers for Vehicle Platooning.

Adnane Saoud Antoine Girard Laurent Fribourg

Published in: HSCC (2018)

Keyphrases

real time
case study
design decisions
artificial intelligence
search engine
computer vision
multi agent
expert systems
object oriented
design process
user experience
control strategy
engineering design
design methodology
optimal design