Pages that link to "Item:Q3636858"
From MaRDI portal
The following pages link to Better Quality in Synthesis through Quantitative Objectives (Q3636858):
Displayed 5 items.
- A weakness measure for GR(1) formulae (Q5918136) (← links)
- A weakness measure for GR(1) formulae (Q5918262) (← links)
- Quantitative safety and liveness (Q6091203) (← links)
- Satisfiability of quantitative probabilistic CTL: rise to the challenge (Q6113985) (← links)
- Solving mean-payoff games via quasi dominions (Q6204169) (← links)