Convex Lattice Equation Systems

Giorgio Bacci*, Giovanni Bacci, Mathias Claus Jensen, Kim G. Larsen

*Corresponding author for this work

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

1 Citation (Scopus)


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.

Original languageEnglish
Title of host publicationPrinciples of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
Number of pages18
Publication date2022
Publication statusPublished - 2022
SeriesLecture Notes in Computer Science (LNCS)


Dive into the research topics of 'Convex Lattice Equation Systems'. Together they form a unique fingerprint.

Cite this