Informace o projektu

Anotace je dostupná pouze v anglickém jazyce.

The aim of this project proposal is to introduce a modeling and assessment technique to support trust-building in autonomous automotive ecosystems, and in effect contribute to the field of collision avoidance in autonomous automotive ecosystems. Specifically, we aim to design a modeling approach to capture the essential elements of systems under the scenario of trust-building in vehicle-to-vehicle interaction and suggest a runtime verification approach to support the trust assessment.