Continuous-time probabilistic automata

DOI10.1016/S0019-9958(69)90468-9MaRDI QIDQ5581635zbMATH OpenFDO

Authors R. Knast

Publication date 1969

Published in Information and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0019-9958(69)90468-9

zbMATH Keywords

languages, automata, networks

Cited in

(8)

• Probabilistic automata
• Robert Knast (1940-1994)
• Computing Behavioral Relations for Probabilistic Concurrent Systems
• Delayed Nondeterminism in Continuous-Time Markov Decision Processes
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• On Markov chains generated by markovian controlled Markov systems: Structural stability
• A characterization of the class of structurally stable probabilistic automata I. Discrete-time case
• A characterization of the class of structurally stable probabilistic automata II. Continuous-time case

This page was built for publication: Continuous-time probabilistic automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5581635)