University of Illinois Urbana-Champaign

Hybridization based CEGAR for Hybrid Automata with Affine Dynamics

Roohi, Nima; Prabhakar, Pavithra; Viswanathan, Mahesh

Loading…

Permalink

Description

Owning Collections