HyPro

swMATH28218MaRDI QIDQ39932FDOQ39932

Author name not available (Why is that?)

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}

Cited In (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