One-Clock Priced Timed Games are PSPACE-hard
From MaRDI portal
Publication:5145650
DOI10.1145/3373718.3394772MaRDI QIDQ5145650
Rasmus Ibsen-Jensen, Rahul Savani, John Fearnley
Publication date: 21 January 2021
Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2001.04458
68-XX: Computer science