Formally reasoning about quality

DOI10.1145/2875421zbMATH Open1426.68161OpenAlexW2425244199MaRDI QIDQ3177797FDOQ3177797

Authors: 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

Recommendations

• Formalizing and Reasoning about Quality
• Discounting in LTL
• A quantitative approach for linear temporal logic based on finite transition systems
• Averaging in LTL
• Discounted duration calculus

zbMATH Keywords

synthesismodel checkingautomataqualityLTL

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cited In (19)

• Synthesis from component libraries with costs
• Qualitative-quantitative reasoning: thinking informally about formal things
• Weighted Linear Dynamic Logic
• Weighted linear dynamic logic
• Extending finite-memory determinacy to multi-player games
• Formalizing and Reasoning about Quality
• Discounting in LTL
• Linear temporal logic -- from infinite to finite horizon
• Synthesis for multi-weighted games with branching-time winning conditions
• Verification of systems with degradation
• Reasoning about Quality and Fuzziness of Strategic Behaviors
• Adequate formalization
• Quantitative vs. weighted automata
• Gödel-Dummett linear temporal logic
• Reactive synthesis with maximum realizability of linear temporal logic specifications
• Synthesis of compact strategies for coordination programs
• Model checking and synthesis for branching multi-weighted logics
• Multi-Valued Reasoning about Reactive Systems
• Robust alternating-time temporal logic

This page was built for publication: Formally reasoning about quality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3177797)