3 papers
cs.AI2022
Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism
Albert Benveniste, Jean-Baptiste Raclet
Graphical models in probability and statistics are a core concept in the area of probabilistic reasoning and probabilistic programming-graphical models include Bayesian networks an…
cs.LO2020
Mixed Nondeterministic-Probabilistic Interfaces
Albert Benveniste, Kim Larsen, Jean-Baptiste Raclet
Interface theories are powerful frameworks supporting incremental and compositional design of systems through refinements and constructs for conjunction, and parallel composition.…
cs.LO2012
Proceedings Fourth Workshop on Foundations of Interface Technologies
Sebastian Bauer, Jean-Baptiste Raclet
This volume contains the proceedings of the 4th workshop on Foundations of Interface Technologies (FIT 2012) which was collocated with ETAPS 2012 in Tallinn, Estonia, and took plac…