The University of Warwick Library - WebBridge

When are emptiness and containment decidable for probabilistic automata?
Daviaud, Laure.  Journal of Computer and System Sciences.    2021-02-10. .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.