{"ref":"continuous-Dec18","ref_type":"tag","master_branch":"master","description":"Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs","pusher_type":"user"}
{"actor":{"display_login":"stanleybak"}}