1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
D. Ravi, R. K. Shyamasundar
One of the most important problems in hybrid systems is the {\em reachability problem}. The reachability problem has been shown to be undecidable even for a subclass of {\em linear…