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. .

Text lics.pdf - Author Accepted Manuscript Download (682kB) | Preview

Item Type:	Conference Item (Unspecified)
Depositing User:	Symplectic Admin
Date Deposited:	09 Jul 2020 08:44
Last Modified:	18 Jan 2023 23:48
Related Websites:	Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3091585
Disclaimer:	The University of Liverpool is not responsible for content contained on other websites from links within repository metadata. Please contact us if you notice anything that appears incorrect or inappropriate.