The following pages link to (Q4782023):
Displaying 3 items.
- A new technique for reachability of states in concatenation automata (Q777990) (← links)
- Efficient computation and representation of large reachability sets for composed automata (Q1610340) (← links)
- Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata (Q2986719) (← links)