]> 2026-06-08T01:06:24+00:00 Temporal Logic Specifications for Control System Design in Automotive Systems 0 en DENSO 2020-03-30Z 2458938.5 DENSO CPM 2016-07-01Z 2457570.5 2025-12-07T06:08:07Z 2461016.7556366 Temporal Logic Specifications for Control System Design in Automotive Systems 0 1 template 3 [[Category:Group member]] [[Previous projects::Temporal Logic Specifications for Control System Design in Automotive Systems]] Temporal Logic Specifications for Control System Design in Automotive Systems# QUERY6a8b647e5f0fb7b88c75b9b27daf61ba 0 1 template 3 [[Category:Papers]] [[Funding::Temporal Logic Specifications for Control System Design in Automotive Systems]] Temporal Logic Specifications for Control System Design in Automotive Systems# QUERY8803f76a9fd0174716b2829fbdc961a0 Hiding variables when decomposing specifications into GR(1) contracts 0 en Hiding variables when decomposing specifications into GR(1) contracts SRC TerraSwarm, DENSO CPM 0 en SRC TerraSwarm, DENSO CPM A modal interface contract theory for guarded input/output automata with an application in traffic system design 0 en A modal interface contract theory for guarded input/output automata with an application in traffic system design Contracts of Reactivity 0 en Contracts of Reactivity Towards Assume-Guarantee Profiles for Autonomous Vehicles 0 en Towards Assume-Guarantee Profiles for Autonomous Vehicles Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture 0 en Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture Ioannis Filippidis 0 en Ioannis Filippidis Tung Phan 0 en Tung Phan Josefine Graebener 0 en Josefine Graebener DENSO CPM 0 en DENSO CPM Funding 102 en Funding Previous projects 102 en Previous projects REDI 102 en REDI