Pages that link to "Item:Q3105747"
From MaRDI portal
The following pages link to Energy Games in Multiweighted Automata (Q3105747):
Displaying 21 items.
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Multi-weighted automata and MSO logic (Q504993) (← links)
- Energy parity games (Q1758152) (← links)
- Weighted register automata and weighted logic on data words (Q1786559) (← links)
- Maker-breaker percolation games. II: Escaping to infinity (Q1984532) (← links)
- On decidability and complexity of low-dimensional robot games (Q2009641) (← links)
- Verification of multiplayer stochastic games via abstract dependency graphs (Q2119119) (← links)
- Strategy synthesis for multi-dimensional quantitative objectives (Q2249657) (← links)
- The complexity of multi-mean-payoff and multi-energy games (Q2343132) (← links)
- Model checking and synthesis for branching multi-weighted logics (Q2423760) (← links)
- Reachability games with relaxed energy constraints (Q2672231) (← 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)
- (Q5014442) (← links)
- (Q5020520) (← links)
- (Q5377470) (← links)
- (Q5875382) (← links)
- Efficient Algorithms for Omega-Regular Energy Games (Q6488464) (← links)
- Process equivalence problems as energy games (Q6535628) (← links)