English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
  Local TagsRelease HistoryDetailsSummary

Released
Journal Article

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

MPS-Authors
/persons/resource/persons144534

Majumdar,  Rupak
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons204254

Mallik,  Kaushik
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons188484

Schmuck,  Anne-Kathrin
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

External Resource
No external resources are shared
Fulltext (restricted access)
There are currently no full texts shared for your IP range.
Fulltext (public)

arXiv:2202.07480.pdf
(Preprint), 2MB

2202.07480.pdf
(Publisher version), 896KB

Supplementary Material (public)
There is no public supplementary material available
Citation

Banerjee, T., Majumdar, R., Mallik, K., Schmuck, A.-K., & Soudjani, S. (2022). Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. TheoretiCS, 2: 4, pp. 1-83. doi:10.46298/theoretics.23.4.


Cite as: https://hdl.handle.net/21.11116/0000-000A-77AB-0
Abstract
There is no abstract available