Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems.

Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan

Browse the full VMCAI paper archive.