Search - IRT SystemX Access content directly

Filter your results

2 Results
Internal reference : SVR
Image document

A three level trajectory planning for autonomous transportation systems

Duc Thang Nguyen , Hadi Zaatiti , Mohamed Tlig , Jean van Frank
CONGRÈS : SIA Simulation Numérique digital, Apr 2021, En ligne, France
Conference papers hal-03202335v1
Image document

Modelling and Proving Safety in Autonomous Cars Scenarios in HOL-CSP

Paolo Crisafulli , Safouan Taha , Burkhart Wolff
[Research Report] 1, University Paris-Saclay; IRT SystemX, Palaiseau. 2021, pp.81
Reports hal-03429597v2