A theory of probabilistic automata, part 1
Andrew M. Mironov
TL;DR
This paper introduces fundamental concepts of probabilistic automata theory, providing a theoretical framework for understanding systems with probabilistic state transitions.
Contribution
It presents the main theoretical foundations of probabilistic automata, offering a comprehensive formal framework for further research and application.
Findings
Established core definitions and properties of probabilistic automata
Provided a formal basis for analyzing probabilistic systems
Laid groundwork for future theoretical developments
Abstract
In the book we present main concepts of probabilistic automata theory.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
Topicssemigroups and automata theory · Formal Methods in Verification · Logic, Reasoning, and Knowledge