Characterisation of an Algebraic Algorithm for Probabilistic Automata
From MaRDI portal
Publication:4601886
DOI10.4230/LIPIcs.STACS.2016.34zbMath1388.68169OpenAlexW2294329580MaRDI QIDQ4601886
Publication date: 24 January 2018
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2016/5735/pdf/35.pdf/
probabilistic automataalgebraic algorithmprofinite theoryvalue-1 problemMarkov monoid algorithmtopology in computer science
Related Items (1)
This page was built for publication: Characterisation of an Algebraic Algorithm for Probabilistic Automata