Qian Liu, Robert de Simone, Xiaohong Chen, Jing Liu. Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress. In Tulika Mitra, Andreas Gerstlauer, editors, 20th International Conference on Embedded Software, EMSOFT 2020, Singapore, September 20-25, 2020. pages 22-24, IEEE, 2020. [doi]
Abstract is missing.