Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2022

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

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

Citer

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⟩
132 Consultations
90 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More