A synthesis method for zero-sum mean-payoff asynchronous probabilistic games

The traditional synthesis problem aims to automatically construct a reactive system (if it exists) satisfying a given Linear Temporal Logic (LTL) specifications, and is often referred to as a qualitative problem. There is also a class of synthesis problems aiming at quantitative properties, such as...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Scientific reports Jg. 15; H. 1; S. 2291 - 13
Hauptverfasser:	Zhao, Wei, Liu, Wanwei, Liu, Zhiming, Wang, Tiexin
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	London Nature Publishing Group UK 17.01.2025 Nature Publishing Group Nature Portfolio
Schlagworte:	639/166/987 639/705/1041 639/705/794 Algorithms Humanities and Social Sciences multidisciplinary Science Science (multidisciplinary)
ISSN:	2045-2322, 2045-2322
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!