Multi-player Equilibria Verification for Concurrent Stochastic Games

Bibliographische Detailangaben

Veröffentlicht in:	QEST (17. : 2020 : Online) Quantitative evaluation of systems
1. Verfasser:	Kwiatkowska, Marta (VerfasserIn)
Weitere Verfasser:	Norman, Gethin (VerfasserIn), Parker, David (VerfasserIn), Santos, Gabriel (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!