One-Clock Priced Timed Games are PSPACE-hard.



Fearnley, John, Ibsen-Jensen, Rasmus and Savani, Rahul
(2020) One-Clock Priced Timed Games are PSPACE-hard. .

[img] Text
lics.pdf - Accepted Version

Download (682kB) | Preview
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 09 Jul 2020 08:44
Last Modified: 09 Jan 2021 02:02
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3091585