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

Full description

Saved in:

Bibliographic Details
Published in:	Scientific reports Vol. 15; no. 1; pp. 2291 - 13
Main Authors:	Zhao, Wei, Liu, Wanwei, Liu, Zhiming, Wang, Tiexin
Format:	Journal Article
Language:	English
Published:	London Nature Publishing Group UK 17.01.2025 Nature Publishing Group Nature Portfolio
Subjects:	639/166/987 639/705/1041 639/705/794 Algorithms Humanities and Social Sciences multidisciplinary Science Science (multidisciplinary)
ISSN:	2045-2322, 2045-2322
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!