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...

Celý popis

Podrobná bibliografia

Vydané v:	Scientific reports Ročník 15; číslo 1; s. 2291 - 13
Hlavní autori:	Zhao, Wei, Liu, Wanwei, Liu, Zhiming, Wang, Tiexin
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	London Nature Publishing Group UK 17.01.2025 Nature Publishing Group Nature Portfolio
Predmet:	639/166/987 639/705/1041 639/705/794 Algorithms Humanities and Social Sciences multidisciplinary Science Science (multidisciplinary)
ISSN:	2045-2322, 2045-2322
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!