36 search results - page 1 / 8 » Augmenting the discrete timed automaton with other data stru... |
TCS
2002
13 years 10 months ago
2002
We describe a general automata-theoretic approach for analyzing the veri
WIA
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. We describe a general automata-theoretic approach for analyzing the verification problems (binary reachability, safety, etc.) of discrete timed automata augmented with va...
STACS
2001
Springer
14 years 3 months ago
2001
Springer
Using an automata-theoretic approach, we investigate the decidability of liveness properties (called Presburger liveness properties) for timed automata when Presburger formulas on ...
COMPGEOM
2004
ACM
14 years 4 months ago
2004
ACM
The Reeb graph is a useful tool in visualizing real-valued data obtained from computational simulations of physical processes. We characterize the evolution of the Reeb graph of a...
CONCUR
2000
Springer
14 years 2 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...