Formally Reasoning About Quality
From MaRDI portal
Publication:3177797
DOI10.1145/2875421zbMath1426.68161OpenAlexW2425244199MaRDI QIDQ3177797
Shaull Almagor, Udi Boker, Orna Kupferman
Publication date: 2 August 2018
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2875421
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Extending finite-memory determinacy to multi-player games ⋮ Linear temporal logic -- from infinite to finite horizon ⋮ Multi-Valued Reasoning about Reactive Systems ⋮ Synthesis for Multi-weighted Games with Branching-Time Winning Conditions ⋮ Model checking and synthesis for branching multi-weighted logics ⋮ Reasoning about Quality and Fuzziness of Strategic Behaviors ⋮ Weighted Linear Dynamic Logic ⋮ Quantitative vs. weighted automata ⋮ Unnamed Item ⋮ Synthesis from component libraries with costs ⋮ Reactive synthesis with maximum realizability of linear temporal logic specifications
This page was built for publication: Formally Reasoning About Quality
