Verification of Cooperative Maneuvers in FlightGear using MPC and Backwards Reachable Sets.

Linnea Persson Bo Wahlberg

Published in: ECC (2018)

Keyphrases

cooperative
model checking
closed loop
dynamic model
multi agent systems
evolutionary algorithm
face verification
database
real time
computer vision
face recognition
multi agent
control strategy
signature verification
formal verification
distributed problem solving