DMCA

Synthesis for multiobjective stochastic games: An application to autonomous urban driving

by Taolue Chen , Marta Kwiatkowska , Aistis Simaitis , Clemens Wiltsche
Venue:In QEST’13, volume 8054 of LNCS
Citations:7 - 6 self