Non-Zero Sum Games for Reactive Synthesis

From MaRDI portal
Publication:2798706