The following pages link to Code aware resource management (Q2248054):
Displaying 11 items.
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives (Q2248060) (← links)
- Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives (Q2257302) (← links)
- Qualitative analysis of concurrent mean-payoff games (Q2346403) (← links)
- Admissible Strategies in Infinite Games over Graphs (Q3182935) (← links)
- Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition (Q3189650) (← links)
- Resource monitors: A design methodology for operating systems (Q3334065) (← links)
- A direct symbolic algorithm for solving stochastic Rabin games (Q6535608) (← links)
- A flexible toolchain for symbolic Rabin games under fair and stochastic uncertainties (Q6535676) (← links)
- Fast symbolic algorithms for omega-regular games under strong transition fairness (Q6566589) (← links)
- Fair \(\omega \)-regular games (Q6629447) (← links)
