DMCA

Compositional Controller Synthesis for Stochastic Games

by Nicolas Basset , Marta Kwiatkowska , Clemens Wiltsche
Citations:2 - 1 self