The following pages link to (Q4787254):
Displaying 7 items.
- Positive loop-closed automata: A decidable class of hybrid systems (Q1858439) (← links)
- Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata (Q2986715) (← links)
- (Q4246810) (← links)
- (Q4249565) (← links)
- (Q4939253) (← links)
- Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure (Q5346080) (← links)
- Symbolic analysis of linear hybrid automata -- 25 years later (Q6113970) (← links)