Location of Repository

Probabilistic automata over infinite words: Expressiveness, efficiency, and decidability

By Christel Baier, Nathalie Bertrand and Marcus Größer

Abstract

Probabilistic ω-automata are variants of nondeterministic automata for infinite words where all choices are resolved by probabilistic distributions. Acceptance of an infinite input word can be defined in different ways: by requiring that (i) the probability for the accepting runs is positive (probable semantics), or (ii) almost all runs are accepting (almost-sure semantics), or (iii) the probability measure of the accepting runs is greater than a certain threshold (threshold semantics). The underlying notion of an accepting run can be defined as for standard ω-automata by means of a Büchi condition or other acceptance conditions, e. g., Rabin or Streett conditions. In this paper, we put the main focus on the probable semantics and provide a summary of the fundamental properties of probabilistic ω-automata concerning expressiveness, efficiency, and decision problems

Year: 2009
OAI identifier: oai:CiteSeerX.psu:10.1.1.312.4626
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://arxiv.org/pdf/0907.4760... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.