851 search results - page 14 / 171 » Inaccessibility in Decision Procedures |
POPL
2010
ACM
14 years 5 months ago
2010
ACM
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
TIME
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
CSL
2007
Springer
14 years 1 months ago
2007
Springer
CAV
2005
Springer
14 years 1 months ago
2005
Springer