Invariant-Set_PetterNilsson_Preliminary-Results-on-Correct-by-Construction-Control-Software-Synthesi

Paper's title "Preliminary Results on Correct-by-Construction Control Software Synthesis for Adaptive Cruise Control" The Algo's described in this paper were used for reachability analysis and finding invariant sets.