The following pages link to BFComp (Q30486):
Displaying 3 items.
- Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability (Q2374569) (← links)
- Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans (Q2422015) (← links)
- Computing bisimulation functions using SOS optimization and <i>δ</i> -decidability over the reals (Q2988918) (← links)