scientific article
From MaRDI portal
Publication:2978507
DOI10.4230/LIPIcs.FSTTCS.2014.121zbMath1360.68552MaRDI QIDQ2978507
Laurent Doyen, Mahsa Shirmohammadi, Nicolas Markey, Line Juhl, Kim Guldstrand Larsen
Publication date: 25 April 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Synchronization of Parikh automata ⋮ Synchronizing words under \textsf{LTL} constraints ⋮ The complexity of synchronizing Markov decision processes ⋮ Unnamed Item ⋮ Synchronizing Automata over Nested Words ⋮ Adaptive experiments for state identification in finite state machines with timeouts
This page was built for publication: