1 paper · 1 filter
Andrea Formisano, Raffaella Gentilini, Flavio Vella
Quantitative games, where quantitative objectives are defined on weighted game arenas, provide natural tools for designing faithful models of embedded controllers. Instances of the…