The following pages link to MARCO (Q15258):
Displayed 4 items.
- Reachability computation for polynomial dynamical systems (Q526433) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study (Q4912378) (← links)
- Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets (Q5222949) (← links)