MARCO

MaRDI QIDQ15258swMATHFDO

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)

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

This page was built for software: MARCO