The following pages link to Formally Reasoning About Quality (Q3177797):
Displaying 16 items.
- Synthesis from component libraries with costs (Q683714) (← links)
- Adequate formalization (Q1024867) (← links)
- Extending finite-memory determinacy to multi-player games (Q1641036) (← links)
- Qualitative-quantitative reasoning: thinking informally about formal things (Q2119955) (← links)
- Linear temporal logic -- from infinite to finite horizon (Q2147173) (← links)
- Reactive synthesis with maximum realizability of linear temporal logic specifications (Q2303876) (← links)
- Model checking and synthesis for branching multi-weighted logics (Q2423760) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- (Q5015275) (← links)
- Multi-Valued Reasoning about Reactive Systems (Q5060674) (← links)
- Synthesis for Multi-weighted Games with Branching-Time Winning Conditions (Q5100749) (← links)
- Formalizing and Reasoning about Quality (Q5327419) (← links)
- Weighted Linear Dynamic Logic (Q6154979) (← links)
- Synthesis of compact strategies for coordination programs (Q6535559) (← links)
- Robust alternating-time temporal logic (Q6545584) (← links)
- Gödel-Dummett linear temporal logic (Q6665714) (← links)