HyPro

MaRDI QIDQ39932swMATHFDO

Official website https://ths.rwth-aachen.de/research/projects/hypro/

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

(16)

• Sherlock
• Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
• JuliaReach
• MoDeST
• Ariadne
• NLTOOLBOX
• HyDI
• Pyhybridanalysis
• dReach
• Flow*
• XSpeed
• Sapo
• JuliaReach
• Polyhedra.jl
• Parameter synthesis of polynomial dynamical systems
• Kaa

This page was built for software: HyPro