HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism

Abstract : Graphical models in probability and statistics are a core concept in the area of probabilistic reasoning and probabilistic programming—graphical models include Bayesian networks and factor graphs. In this paper we develop a new model of mixed (nondeterministic/probabilistic) automata that subsumes both nondeterministic automata and graphical probabilistic models. Mixed Automata are equipped with parallel composition, simulation relation, and support message passing algorithms inherited from graphical probabilistic models. Segala’s Probabilistic Automata can be mapped to Mixed Automata.
Complete list of metadata

https://hal.inria.fr/hal-03531059
Contributor : Albert Benveniste Connect in order to contact the contributor
Submitted on : Tuesday, January 18, 2022 - 10:10:15 AM
Last modification on : Monday, April 4, 2022 - 9:28:24 AM

Files

RR-9447.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03531059, version 1
  • ARXIV : 2201.07474

Citation

Albert Benveniste, Jean-Baptiste Raclet. Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism. [Research Report] RR-9447, Inria Rennes - Bretagne Atlantique. 2022, pp.1-52. ⟨hal-03531059⟩

Share

Metrics

Record views

31

Files downloads

25