The following pages link to Weighted LTL with Discounting (Q2914725):
Displayed 5 items.
- Adding pebbles to weighted automata: easy specification \& efficient evaluation (Q2447753) (← links)
- Parameterized model checking of weighted networks (Q2447757) (← links)
- On weighted first-order logics with discounting (Q2453983) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- Weighted Linear Dynamic Logic (Q6154979) (← links)