Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms

From MaRDI portal
Publication:2453112

DOI10.1016/j.tcs.2013.07.017zbMath1359.68168OpenAlexW2022019677MaRDI QIDQ2453112

Luis María Ferrer Fioriti, Sergio Giro, Pedro R. D'Argenio

Publication date: 6 June 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2013.07.017




Related Items (3)


Uses Software


Cites Work


This page was built for publication: Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms