Browsing All of EconStor by Author Steeples, Thomas
Showing results 1 to 1 of 1
| Year of Publication | Title | Author(s) |
|---|---|---|
| 2022 | Mean-payoff games with ω-regular specifications | Gutierrez, Julian; Steeples, Thomas; Wooldridge, Michael J. |