Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness

We consider fixpoint algorithms for two-player games on graphs with $\omega$-regular winning conditions, where the environment is constrained by a strong transition fairness assumption. Strong transition fairness is a widely occurring special case of strong fairness, which requires that any executio...

Full description

Bibliographic Details

Published in:	TheoretiCS Vol. 2
Main Authors:	Banerjee, Tamajit, Majumdar, Rupak, Mallik, Kaushik, Schmuck, Anne-Kathrin, Soudjani, Sadegh
Format:	Journal Article
Language:	English
Published:	TheoretiCS Foundation e.V 24.02.2023
Subjects:	computer science - formal languages and automata theory computer science - symbolic computation electrical engineering and systems science - systems and control
ISSN:	2751-4838, 2751-4838
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!