BFComp

MaRDI QIDQ30486swMATHFDO

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

Cited in

(4)

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

This page was built for software: BFComp