BFComp
From MaRDI portal
Software:30486
No author found.
Related Items (3)
Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability ⋮ Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans ⋮ Computing bisimulation functions using SOS optimization and δ -decidability over the reals
This page was built for software: BFComp
