The following pages link to Weighted LTL with Discounting (Q2914725):
Displaying 8 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)
- LTL Can Be More Succinct (Q4931296) (← links)
- Near-Optimal Scheduling for LTL with Future Discounting (Q5857795) (← links)
- Weighted Linear Dynamic Logic (Q6154979) (← links)
- Policy synthesis and reinforcement learning for discounted LTL (Q6535643) (← links)