MARCO

swMATH2719MaRDI QIDQ15258FDOQ15258

Author name not available (Why is that?)

Described by source

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

Cited In (4)

• Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
• Change-of-bases abstractions for non-linear hybrid systems
• Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study
• Reachability computation for polynomial dynamical systems

This page was built for software: MARCO