HyHooVer: Verification and Parameter Synthesis in Stochastic Systems With Hybrid State Space Using Optimistic Optimization
- Negin Musavi
- , Dawei Sun
- , Sayan Mitra
- , Geir E. Dullerud
- , Sanjay Shakkottai
Research output: Contribution to journal › Article › peer-review