Efficient Algorithms for Omega-Regular Energy Games

Published May 24, 2022 | Version v1

Conference paper Open

FM'21 paper

Notes

Author's copy

Name	Size	Download all
energy-fm21-cr.pdf md5:04a230c52668e5eead8a42f9bcc54a7e	596.0 kB	Preview Download

Citations

Oops! Something went wrong while fetching results.

Views

117

Downloads

Show more details

DOI

Resource type

Conference paper

Publisher

Zenodo

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more