The following pages link to (Q4484488):
Displaying 15 items.
- On the decidability and complexity of problems for restricted hierarchical hybrid systems (Q338386) (← links)
- Low dimensional hybrid systems -- decidable, undecidable, don't know (Q418141) (← links)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713) (← links)
- On undecidability bounds for matrix decision problems (Q2474220) (← links)
- On the complexity of bounded time and precision reachability for piecewise affine systems (Q2636516) (← links)
- What's decidable about recursive hybrid automata? (Q2988912) (← links)
- A Class of Decidable Parametric Hybrid Systems (Q2996138) (← links)
- Reachability Problems for One-Dimensional Piecewise Affine Maps (Q3177337) (← links)
- On The Complexity of Bounded Time Reachability for Piecewise Affine Systems (Q3447692) (← links)
- Reachability in Linear Dynamical Systems (Q3507439) (← links)
- Computing Omega-Limit Sets in Linear Dynamical Systems (Q3543335) (← links)
- (Q4249569) (← links)
- (Q4475110) (← links)
- (Q4953389) (← links)
- Uniformity for the decidability of hybrid automata (Q5030200) (← links)