DMCA

Permissive Controller Synthesis for Probabilistic Systems

by Marta Kwiatkowska , David Parker , Mateusz Ujma , Marta Kwiatkowska , David Parker , Mateusz Ujma