384 search results - page 3 / 77 » On the Semantics of Markov Automata |
IJAC
2006
13 years 6 months ago
2006
Self-similar inverse semigroups are defined using automata theory. Adjacency semigroups of s-resolved Markov partitions of Smale spaces are introduced. It is proved that a Smale s...
FOSSACS
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...
FM
2005
Springer
13 years 11 months ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
ATVA
2011
Springer
12 years 6 months ago
2011
Springer
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...
LICS
2009
IEEE
14 years 27 days ago
2009
IEEE
—We associate a statistical vector to a trace and a geometrical embedding to a Markov Decision Process, based on a distance on words, and study basic Membership and Equivalence p...