BFComp

swMATH18654MaRDI QIDQ30486FDOQ30486

Author name not available (Why is that?)

Cited In (3)

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

This page was built for software: BFComp