Logical modelling and formal verification of decision and control functions for autonomous vehicles
Ladda ner
Typ
Examensarbete för masterexamen
Master Thesis
Master Thesis
Program
Systems, control and mechatronics (MPSYS), MSc
Publicerad
2016
Författare
Petersson, Pontus
Zita, Anton
Modellbyggare
Tidskriftstitel
ISSN
Volymtitel
Utgivare
Sammanfattning
Beskrivning
Ämne/nyckelord
Elektroteknik och elektronik , Electrical Engineering, Electronic Engineering, Information Engineering