207
Voted
HYBRID
1999
Springer
16 years 5 days ago
1999
Springer
Abstract. One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed...