The following pages link to (Q5743484):
Displaying 15 items.
- Optimal cost almost-sure reachability in POMDPs (Q253969) (← links)
- Games for query inseparability of description logic knowledge bases (Q253977) (← links)
- Knowledge base exchange: the case of OWL 2 QL (Q309909) (← links)
- Trading performance for stability in Markov decision processes (Q340568) (← links)
- Petri games: synthesis of distributed systems with causal memory (Q515654) (← links)
- Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components (Q518409) (← links)
- Quantitative fair simulation games (Q528184) (← links)
- Assume-guarantee synthesis for digital contract signing (Q736809) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← 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)
- Conditionally Optimal Algorithms for Generalized B\"uchi Games (Q4608584) (← links)
- (Q5129946) (← links)
- (Q5875368) (← links)
- Token Games and History-Deterministic Quantitative-Automata (Q6178674) (← links)