The following pages link to Discounting in LTL (Q5498739):
Displaying 8 items.
- Synthesis with rational environments (Q314471) (← links)
- Quantitative model checking of linear-time properties based on generalized possibility measures (Q1697514) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- Quantitative Automata under Probabilistic Semantics (Q4635863) (← links)
- (Q5015275) (← links)
- Sensing as a Complexity Measure (Q5205034) (← links)
- On High-Quality Synthesis (Q5740173) (← links)
- Weighted Linear Dynamic Logic (Q6154979) (← links)
