328 citations · 353 across the 8 of their papers we have counts for
1 paper · 1 filter
Patrick Cousot
We formalize the semantics of hybrid systems as sets of hybrid trajectories, including those generated by an hybrid transition system. We study the abstraction of hybrid trajectory…