Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness.
Tamajit BanerjeeRupak MajumdarKaushik MallikAnne-Kathrin SchmuckSadegh SoudjaniPublished in: CoRR (2022)
Keyphrases
- computational cost
- orders of magnitude
- learning algorithm
- computational efficiency
- combinatorial optimization
- recently developed
- resource allocation
- optimization problems
- computationally efficient
- machine learning algorithms
- benchmark datasets
- computational complexity
- cooperative
- high level
- computationally expensive
- game theory
- social networks
- data sets