Synergy: Verified Control of Cooperative Autonomous Vehicles
pdf
Verified control algorithms will be developed for the control of autonomous vehicles. Autonomous vehicles are used to perform increasingly complex tasks, safely and reliably, under changing environmental conditions. They promise to fundamentally transform our society in areas such as transportation, logistics, telecommunications, remote sensing and defense.
Submitted by Christoffer Heckeman
on
pdf
Verified control algorithms will be developed for the control of autonomous vehicles. Autonomous vehicles are used to perform increasingly complex tasks, safely and reliably, under changing environmental conditions. They promise to fundamentally transform our society in areas such as transportation, logistics, telecommunications, remote sensing and defense.
Submitted by Christoffer Heckeman
on