Fixed-dimensional energy games are in pseudo-polynomial time
- Submitting institution
-
The University of Warwick
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 6033
- Type
- E - Conference contribution
- DOI
-
10.1007/978-3-662-47666-6_21
- Title of conference / published proceedings
- 42nd International Colloquium, ICALP 2015
- First page
- 260
- Volume
- 9135
- Issue
- -
- ISSN
- 0302-9743
- Open access status
- Out of scope for open access requirements
- Month of publication
- June
- Year of publication
- 2015
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
T - Theory and Foundations
- Citation count
- 18
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This was one of the best papers at ICALP (invited for the journal special issue), which is the flagship global conference of the European Association for Theoretical Computer Science. The algorithmic results in this paper underpin the work on controller synthesis for manufacturing (Vardi, Rice University), and they have enabled and inspired the research programme on resource-bounded logics in the AI community (Alechina and Logan, Nottingham; Demri, Paris Saclay). This research has also contributed to successful bids for Lazić’s Leverhulme Research Fellowship, and a Rutherford Visiting Fellowship for Laurent Doyen (Paris Saclay) at the Alan Turing Institute and Warwick.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -