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

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

yoshiko-marsland
16 Slides

frehseimagfr Abstract We present a scalable reacha...

Copyright © 2024 DocSlides. All Rights Reserved