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

by T Chen, M Kwiatkowska, A Simaitis, C Wiltsche
Venue:In QEST, vol. 8054 of LNCS