Recurrence and transience for probabilistic automata
type: Item
instance of: scholarly article
zbMATH Open document ID: 1248.68337
author: Mathieu Tracol
author: Marcus Grösser
author: Christel Baier
publication date: 2012-10-24T00:00:00Z
full work available at URL: frontdoor 49d9.html
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q87
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 6098244
zbMATH Keywords: Markov chains
zbMATH Keywords: probabilistic automata
zbMATH Keywords: Büchi automata
zbMATH Keywords: recurrence
zbMATH Keywords: omega-regular properties
MaRDI profile type: Publication
OpenAlex ID: W1525053111
DOI: 10.4230/LIPICS.FSTTCS.2009.2335
title: Recurrence and transience for probabilistic automata
description: scientific article; zbMATH DE number 6098244