A Small Model Theorem for Rectangular Hybrid Automata Networks.

Taylor T. Johnson, Sayan Mitra

Browse the full FORTE paper archive.