Login / Signup
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness.
Tamajit Banerjee
Rupak Majumdar
Kaushik Mallik
Anne-Kathrin Schmuck
Sadegh Soudjani
Published in:
TheoretiCS (2023)
Keyphrases
</>
learning algorithm
orders of magnitude
computationally expensive
neural network
computational complexity
computationally efficient
theoretical analysis
resource allocation
game theory
genetic algorithm
data structure
computational cost
optimization problems