Pages that link to "Item:Q3105747"
From MaRDI portal
The following pages link to Energy Games in Multiweighted Automata (Q3105747):
Displayed 9 items.
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Multi-weighted automata and MSO logic (Q504993) (← links)
- Weighted register automata and weighted logic on data words (Q1786559) (← links)
- Strategy synthesis for multi-dimensional quantitative objectives (Q2249657) (← links)
- The complexity of multi-mean-payoff and multi-energy games (Q2343132) (← links)
- Optimal Bounds for Multiweighted and Parametrised Energy Games (Q2842640) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time (Q3449481) (← links)
- Weight Assignment Logic (Q3451120) (← links)