A Generic Ellipsoid Abstract Domain for Linear Time Invariant Systems

Avatar
Pierre Roux
Researcher at Onera

Related