Benjamin Monmege. Specification and verification of quantitative properties : expressions, logics, and automata. (Spécification et vérification de propriétés quantitatives : expressions, logiques et automates). PhD thesis, École normale supérieure de Cachan, Paris, France, 2013. [doi]
Abstract is missing.