Verification and controller synthesis for resource-constrained real-time systems: Case study of an autonomous truck.

Shuhao Li, Paul Pettersson

Browse the full ETFA paper archive.