HyPro

swMATH28218MaRDI QIDQ39932

No author found.

Source code repository: https://github.com/hypro/hypro

Described by source

• Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}

Related Items (3)

Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction ⋮ JuliaReach ⋮ Parameter synthesis of polynomial dynamical systems

This page was built for software: HyPro