Controller Synthesis for MDPs and Frequency LTL

Vojtech Forejt, Jan Krcl, Jan Kretnsk

Browse the full LPAR paper archive.