MARCO

swMATH2719MaRDI QIDQ15258FDOQ15258

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-540-71493-4_9

Described by source

• MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems

Cited In (7)

• Multiple verification in complex biological systems: the bone remodelling case study
• Evaluation of domain agnostic approaches for enumeration of minimal unsatisfiable subsets
• pyHybrid Analysis
• RAMAS
• BlenX
• Change-of-bases abstractions for non-linear hybrid systems
• Reachability computation for polynomial dynamical systems

This page was built for software: MARCO