17 citations · 47 across the 9 of their papers we have counts for
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…