Login / Signup
Dual mode for vehicular platoon safety: Simulation and formal verification.
Oussama Karoui
Mohamed Khalgui
Anis Koubâa
Emna Guerfala
Zhiwu Li
Eduardo Tovar
Published in:
Inf. Sci. (2017)
Keyphrases
</>
formal verification
model checking
traffic flow
symbolic model checking
bounded model checking
model checker
automated verification
program slicing
simulation model
mathematical model
urban areas
reinforcement learning
software engineering
functional verification