Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2022

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.
Fichier principal
Vignette du fichier
RR-9447.pdf (902.03 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03531059 , version 1 (18-01-2022)

Identifiers

Cite

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⟩
134 View
92 Download

Altmetric

Share

Gmail Facebook X LinkedIn More