Pages that link to "Item:Q2642902"
From MaRDI portal
The following pages link to Optimal semicomputable approximations to reachable and invariant sets (Q2642902):
Displaying 5 items.
- COMPUTABLE SEMANTICS FOR <i>CTL*</i> ON DISCRETE-TIME AND CONTINUOUS-SPACE DYNAMIC SYSTEMS (Q3016218) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems (Q3646256) (← links)
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems (Q4982088) (← links)
- Computable analysis with applications to dynamic systems (Q5220187) (← links)
