Safety assurance of autonomous vehicles using temporal logic in scenario-based simulations

Thumbnail Image

Download

Edviken_Lundstrom_2021.pdf (1.41 MB)

Date

2021

Authors

Type

Examensarbete för masterexamen

Programme

Model builders

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Citation

Architect

Location

Type of building

Build Year

Model type

Scale

Material / technology

Index

URI

https://hdl.handle.net/20.500.12380/304244

Collections

Master´s Thesis

Endorsement

Review

Supplemented By

Referenced By