A Formal Approach to Enforce Safety in Cyber-Physical Transportation Networks
The current progress of embedded computation and communication technologies are pushing several systems toward increased levels of autonomy. Transportation systems, in particular, are experiencing a […]