Login / Signup

Deciding the Value 1 Problem for Probabilistic Leaktight Automata.

Nathanaël FijalkowHugo GimbertYoussouf Oualhadj
Published in: LICS (2012)
Keyphrases