Pages that link to "Item:Q2636516"
From MaRDI portal
The following pages link to On the complexity of bounded time and precision reachability for piecewise affine systems (Q2636516):
Displaying 6 items.
- The complexity of some reachability problems for a system on a finite group (Q1262244) (← links)
- Reachability analysis of dynamical systems having piecewise-constant derivatives (Q1367528) (← links)
- Formal analysis of piecewise affine systems through formula-guided refinement (Q1939637) (← links)
- Reachability problems in low-dimensional nondeterministic polynomial maps over integers (Q2051802) (← links)
- The Complexity of Bounded Synthesis for Timed Control with Partial Observability (Q4649397) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)