3342 search results - page 29 / 669 » Symbolic Robustness Analysis |
APN
2009
Springer
15 years 4 months ago
2009
Springer
FORMATS
2007
Springer
15 years 3 months ago
2007
Springer
FOSSACS
2007
Springer
15 years 3 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
CAV
2004
Springer
15 years 2 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
HYBRID
2004
Springer
15 years 2 months ago
2004
Springer