Contains a pdf report of the project and all necessary nuXMV codes used in the project.
The behavior of an autonomous car when faced with real life obstacles is tested using a compositional model checking approach.
saveripal/model-checking-autonomous-car
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|