Quantitative assume guarantee synthesis
From MaRDI portal
Publication:2164236
DOI10.1007/978-3-319-63390-9_19zbMath1494.68156OpenAlexW2734773320MaRDI QIDQ2164236
Jan Oliver Ringert, Orna Kupferman, Yaron Velner, Shaull Almagor
Publication date: 12 August 2022
Full work available at URL: https://doi.org/10.1007/978-3-319-63390-9_19
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (4)
On the comparison of discounted-sum automata with multiple discount factors ⋮ Reasoning about Quality and Fuzziness of Strategic Behaviors ⋮ Quantitative vs. weighted automata ⋮ GR(1)*: GR(1) specifications extended with existential guarantees
This page was built for publication: Quantitative assume guarantee synthesis
