Pages that link to "Item:Q3612960"
From MaRDI portal
The following pages link to MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems (Q3612960):
Displaying 4 items.
- MARCO (Q15258) (← links)
- Reachability computation for polynomial dynamical systems (Q526433) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- An input–output simulation approach to controlling multi-affine systems for linear temporal logic specifications (Q4897712) (← links)