Search Results for 'frehseimagfr'

frehseimagfr published presentations and documents on DocSlides.

SpaceEx Scalable Verication of Hybrid Systems Goran Frehse Colas Le Guernic Alexandre Donze Scott Cotton Rajarshi Ray Olivier Lebeltel Rodolfo Ripado Antoine Girard Thao Dang Oded Maler Verima

by yoshiko-marsland

frehseimagfr Abstract We present a scalable reacha...