@inbook{79d63727391a44499fdafffc5d1e298b,
title = "Convex Lattice Equation Systems",
abstract = "In this paper we revisit the paradigm shift “From Boolean to Quantitative Notions of Correctness” proposed by Henzinger more than 10 years ago. In particular, we present the notion of Convex Lattice Equation Systems as a universal framework for encoding and inferring behavioural metrics between quantitative system behaviours. We demonstrate how the framework may be applied to infer bounds on values of stochastic games and distances between timed systems.",
author = "Giorgio Bacci and Giovanni Bacci and Jensen, {Mathias Claus} and Larsen, {Kim G.}",
note = "Publisher Copyright: {\textcopyright} 2022, Springer Nature Switzerland AG.",
year = "2022",
doi = "10.1007/978-3-031-22337-2_21",
language = "English",
volume = "13660",
series = "Lecture Notes in Computer Science (LNCS)",
publisher = "Springer",
pages = "438--455",
booktitle = "Principles of Systems Design",
address = "Germany",
}