Pages that link to "Item:Q2986965"
From MaRDI portal
The following pages link to Proofs from simulations and modular annotations (Q2986965):
Displaying 6 items.
- Monotone simulations of non-monotone proofs. (Q1872729) (← links)
- Approximate partial order reduction (Q2024376) (← links)
- Data driven stability analysis of black-box switched linear systems (Q2280933) (← links)
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems (Q2374566) (← links)
- A modular approach to defining and characterising notions of simulation (Q2495641) (← links)
- (Q2988064) (← links)