Pages that link to "Item:Q436418"

The following pages link to Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418):

Displaying 1 item.

• Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems (Q748756) (← links)