3229 search results - page 9 / 646 » The Theory of Timed Automata |
LATA
2009
Springer
14 years 3 months ago
2009
Springer
HYBRID
2000
Springer
14 years 7 days ago
2000
Springer
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...
CONCUR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Concavely-priced probabilistic timed automata, an extension of probabilistic timed automata, are introduced. In this paper we consider expected reachability, discounted, ...
TYPES
1993
Springer
14 years 21 days ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
SIGCSE
1999
ACM
14 years 28 days ago
1999
ACM
An automata theory course can be taught in an interactive, hands-on manner using a computer. At Duke we have been using the software tool JFLAP to provide interaction and feedback...