TY - RPRT TI - Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism AU - Albert Benveniste AU - Jean-Baptiste Raclet PY - 2022 UR - https://arxiv.org/abs/2201.07474 ID - 2201.07474 ER -