stanleybak/hylaa
Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
PythonGPL-3.0
Stargazers
- 3brahimi
- abditag2Uber
- adamhall
- AFifarek
- ajalab@line
- baiyunping333guangzhou
- daemontusSlovakia
- dcabecinhas
- ducthanhtranRWTH Aachen, Fraunhofer IPT
- EthanJamesLewGalois, Inc.
- ferasbgChicago, IL
- hao-wang
- Lalayta
- louismhowePortland, OR
- marcofavorito@bancaditalia
- MasWagKyoto University
- maxvonhippelNortheastern University
- meglstuartUniversity of North Carolina, Chapel Hill
- mrshootingstar
- nexthybridThe Ohio State University
- nrfultonAWS AI Labs
- patkanFAU FabLab
- philzook58Draper
- pintaricVienna, Austria
- psduggiralaUniversity of North Carolina at Chapel Hill
- tobijklGermany
- ttjVanderbilt University