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á bibliografie

Vydáno v:	Scientific reports Ročník 15; číslo 1; s. 2291 - 13
Hlavní autoři:	Zhao, Wei, Liu, Wanwei, Liu, Zhiming, Wang, Tiexin
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	London Nature Publishing Group UK 17.01.2025 Nature Publishing Group Nature Portfolio
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!