Synthesis from LTL Specifications with Mean-Payoff Objectives

From MaRDI portal
Publication:5326323