Filter your results
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
A three level trajectory planning for autonomous transportation systemsCONGRÈS : SIA Simulation Numérique digital, Apr 2021, En ligne, France
Conference papers
hal-03202335v1
|
||
|
Modelling and Proving Safety in Autonomous Cars Scenarios in HOL-CSP[Research Report] 1, University Paris-Saclay; IRT SystemX, Palaiseau. 2021, pp.81
Reports
hal-03429597v2
|