Synthesis of Collectively Optimal Strategies for Infinite Runs of Multi-agent Systems via Maximum Satisfiability Solving.

Nils Timm, Steven Jordaan

Browse the full EUMAS paper archive.