Mean-Payoff Games with Omega-Regular Specifications

by · Mar 22, 2021 · 20 views ·

AAMAS

Mean-Payoff Games with Omega-Regular Specifications