Formally reasoning about quality
From MaRDI portal
Recommendations
Cited in
(23)- Adequate formalization
- Extending finite-memory determinacy to multi-player games
- Qualitative-quantitative reasoning: thinking informally about formal things
- Linear temporal logic -- from infinite to finite horizon
- Reactive synthesis with maximum realizability of linear temporal logic specifications
- Model checking and synthesis for branching multi-weighted logics
- Quantitative vs. weighted automata
- Verification of systems with degradation
- Weighted linear dynamic logic
- Multi-Valued Reasoning about Reactive Systems
- Synthesis for multi-weighted games with branching-time winning conditions
- Formalizing and Reasoning about Quality
- Discounting in LTL
- Reasoning about Quality and Fuzziness of Strategic Behaviors
- Weighted Linear Dynamic Logic
- Synthesis of compact strategies for coordination programs
- Robust alternating-time temporal logic
- Gödel-Dummett linear temporal logic
- Synthesis from component libraries with costs
- LTL reactive synthesis with a few hints
- Synchronized CTL over one-counter automata
- Games with trading of control
- Formal verification and synthesis of mechanisms for social choice
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)
