Control for Composition: A Correct-by-construction Synthesis Approach for Connected Vehicles
pdf
Submitted by Necmiye Ozay
on
pdf
Submitted by Necmiye Ozay
on