Convex Lattice Equation Systems

Giorgio Bacci; Giovanni Bacci; Mathias Claus Jensen; Kim G. Larsen

doi:10.1007/978-3-031-22337-2_21

Convex Lattice Equation Systems

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

^*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

1 Citationer (Scopus)

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.

Originalsprog	Engelsk
Titel	Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
Antal sider	18
Vol/bind	13660
Forlag	Springer
Publikationsdato	2022
Sider	438-455
DOI	https://doi.org/10.1007/978-3-031-22337-2_21
Status	Udgivet - 2022

Navn	Lecture Notes in Computer Science (LNCS)
ISSN	0302-9743

Bibliografisk note

Publisher Copyright:
© 2022, Springer Nature Switzerland AG.

Adgang til dokumentet

10.1007/978-3-031-22337-2_21

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

Link to publication in Scopus

Citationsformater

@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",

}

Convex Lattice Equation Systems. / Bacci, Giorgio ; Bacci, Giovanni ; Jensen, Mathias Claus et al.
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Bind 13660 Springer, 2022. s. 438-455 (Lecture Notes in Computer Science (LNCS)).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

TY - CHAP

T1 - Convex Lattice Equation Systems

AU - Bacci, Giorgio

AU - Bacci, Giovanni

AU - Jensen, Mathias Claus

AU - Larsen, Kim G.

PY - 2022

Y1 - 2022

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85145658204&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-22337-2_21

DO - 10.1007/978-3-031-22337-2_21

M3 - Book chapter

AN - SCOPUS:85145658204

VL - 13660

T3 - Lecture Notes in Computer Science (LNCS)

SP - 438

EP - 455

BT - Principles of Systems Design

PB - Springer

ER -

Convex Lattice Equation Systems

Abstract

Bibliografisk note

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Citationsformater