Stochastic automata: stability, nondeterminism, and prediction

zbMath0473.68051MaRDI QIDQ1158760

Ernst-Erich Doberkat

Publication date: 1981

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

28B20: Set-valued set functions and measures; integration of set-valued functions; measurable selections

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

Unnamed Item, Abschätzung von Produkten gitterpositiver Matrizen und optimale Vorhersage stochastischer Quellen. (Approximation of products of grid- positive matrices and optimal prediction of stochastic sources), Approximation der optimalen Vorhersage der Ausgabe stochastischer Quellen, The converse of a stochastic relation, Unnamed Item