BFComp

MaRDI QIDQ30486swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S1751570X16300061

Cited in

(4)

• Computing bisimulation functions using SOS optimization and \(\delta\)-decidability over the reals
• cftool
• Computing compositional proofs of input-to-output stability using SOS optimization and -decidability
• Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans

This page was built for software: BFComp