2 papers
cs.LO2020
Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)
Adnan Rashid, Umair Siddique, Sofiene Tahar
Due to major breakthroughs in software and engineering technologies, embedded systems are increasingly being utilized in areas ranging from aerospace and next-generation transporta…
cs.LO2018
Formal Verification of Platoon Control Strategies
Adnan Rashid, Umair Siddique, Osman Hasan
Recent developments in autonomous driving, vehicle-to-vehicle communication and smart traffic controllers have provided a hope to realize platoon formation of vehicles. The main be…