Safety assurance of autonomous vehicles using temporal logic in scenario-based simulations
dc.contributor.author | Edviken, Malin | |
dc.contributor.author | Lundström, Oskar | |
dc.contributor.department | Chalmers tekniska högskola / Institutionen för elektroteknik | sv |
dc.contributor.examiner | Mohajerani, Sahar | |
dc.date.accessioned | 2021-10-11T13:39:53Z | |
dc.date.available | 2021-10-11T13:39:53Z | |
dc.date.issued | 2021 | sv |
dc.date.submitted | 2020 | |
dc.identifier.coursecode | EENX30 | sv |
dc.identifier.uri | https://hdl.handle.net/20.500.12380/304244 | |
dc.language.iso | eng | sv |
dc.setspec.uppsok | Technology | |
dc.title | Safety assurance of autonomous vehicles using temporal logic in scenario-based simulations | sv |
dc.type.degree | Examensarbete för masterexamen | sv |
dc.type.uppsok | H |