Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress.

Qian Liu, Robert de Simone, Xiaohong Chen, Jing Liu

Browse the full EMSOFT paper archive.