no code implementations • 14 Feb 2024 • Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, WeiCheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
In this paper, we present a novel digital twin prototype for a learning-enabled self-driving vehicle.
no code implementations • 27 Feb 2014 • Gal Katz, Doron Peled
Formal methods apply algorithms based on mathematical principles to enhance the reliability of systems.