Pages that link to "Item:Q3447692"
From MaRDI portal
The following pages link to On The Complexity of Bounded Time Reachability for Piecewise Affine Systems (Q3447692):
Displaying 4 items.
- Formal analysis of piecewise affine systems through formula-guided refinement (Q1939637) (← links)
- On the complexity of bounded time and precision reachability for piecewise affine systems (Q2636516) (← links)
- Reachability Problems for One-Dimensional Piecewise Affine Maps (Q3177337) (← links)
- The Complexity of Bounded Synthesis for Timed Control with Partial Observability (Q4649397) (← links)