HyPro

swMATH28218MaRDI QIDQ39932FDOQ39932

Author name not available (Why is that?)

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 (15)

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

This page was built for software: HyPro