Taxonomic Search: Calin Belta
The objective of this project is to develop a formal methods approach to traffic management. Formal methods is an area of computer science that develops efficient techniques for proving the correct operation of systems, such as computer programs and digital circuits, and for designing systems that are correct by construction.
Scientific challenges: How can multiple cooperative cyber-physical systems communicate and coor- dinate to accomplish complex high-level tasks within unknown, dynamic and adversarial environments?
Scientific challenges. How can multiple cyber-physical systems be enabled and coordinated to accomplish complex tasks in unknown and adversarial environments?