17 search results - page 4 / 4 » A Symbolic Decision Procedure for Robust Safety of Timed Sys... |
FMCAD
2008
Springer
13 years 7 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
IJCAI
2001
13 years 6 months ago
2001
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...