Two Recursively Inseparable Problems for Probabilistic Automata

DOI10.1007/978-3-662-44522-8_23zbMath1425.68198arXiv1709.03122OpenAlexW249340682MaRDI QIDQ2922022

Hugo Gimbert, Nathanaël Fijalkow, Youssouf Oualhadj, Florian Horn

Publication date: 14 October 2014

Published in: Mathematical Foundations of Computer Science 2014 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1709.03122

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (3)

Stochastization of Weighted Automata ⋮ Controlling a random population ⋮ Unnamed Item

This page was built for publication: Two Recursively Inseparable Problems for Probabilistic Automata