Mean-Payoff Games with Omega-Regular Specifications

by · Mar 22, 2021 · 19 views ·

AAMAS

Mean-Payoff Games with Omega-Regular Specifications