SCAV@CPSWeek

Publications

2018

Mohammad Hejase, Arda Kurt, Tunc Aldemir, Ümit Özgüner
Identification of Risk Significant Automotive Scenarios Under Hardware Failures. SCAV@CPSWeek (2018)
Maike Schwammberger
Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL. SCAV@CPSWeek (2018)
Eric S. Kim, Murat Arcak, Sanjit A. Seshia, BaekGyu Kim, Shinichi Shiraishi
Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety. SCAV@CPSWeek (2018)
Khalid Halba, Charif Mahmoudi, Edward Griffor
Robust Safety for Autonomous Vehicles through Reconfigurable Networking. SCAV@CPSWeek (2018)
Georg Schildbach
On the Application of ISO 26262 in Control Design for Automated Vehicles. SCAV@CPSWeek (2018)
Rahul Kumar Bhadani, Jonathan Sprinkle, Matthew R. Bunting
The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications. SCAV@CPSWeek (2018)

volume 269, 2018

Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018. SCAV@CPSWeek 269 (2018)

2017