SAFETY AND REACHABILITY ANALYSIS FOR DYNAMICAL SYSTEMS
Piernicola BETTIOL (Univ. Bretagne Occidentale, France)
Philipp BRAUN (Australian National University, Australia)
Antoine GIRARD (L2S, CNRS, Univ. of ParisSaclay, France)
Miroslav KRSTIC (UC. San Diego, USA)
Gabor OROSZ (Univ. Michigan, USA)
Necmyie OZAY (Univ. Michigan, USA)
Dimitra PANAGOU (Univ. Michigan, USA)