Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata.

Alberto Bertoni, Giancarlo Mauri, Mauro Torelli

Browse the full ICALP paper archive.