The Alternating-Time μ-Calculus With Disjunctive Explicit Strategies.

Merlin Humml Lutz Schröder Dirk Pattinson

Published in: CoRR (2023)

Keyphrases

genetic algorithm
search engine
data sets
online auctions
optimal strategy
optimization strategies
computer algebra