Skip to content

Deciding the Value 1 Problem for Probabilistic Leaktight Automata.

Nathanal Fijalkow, Hugo Gimbert, Youssouf Oualhadj

VenueA*LICS
Year2012
ProceedingsLICS

Browse the full LICS paper archive.