Statistics of Automata-based Representations for the Verification of Hybrid Systems

Contact ORBi