93 search results - page 1 / 19 » Weak Alternating Timed Automata |
ICALP
2009
Springer
14 years 5 months ago
2009
Springer
Alternating timed automata on infinite words are considered. The main result is a characterization of acceptance conditions for which the emptiness problem for the automata is deci...
FORMATS
2009
Springer
13 years 9 months ago
2009
Springer
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
ISTCS
1997
Springer
13 years 9 months ago
1997
Springer
STOC
1998
ACM
13 years 9 months ago
1998
ACM
TCS
2010
12 years 11 months ago
2010
We are interested in describing timed systems that exhibit probabilistic behaviour. To this purpose, we consider a model of Probabilistic Timed Automata and introduce a concept of ...