Paper: One-Clock Priced Timed Games are PSPACE-hard (at LICS 2020)
Authors: John Fearnley Rasmus Ibsen-Jensen Rahul Savani
Abstract
No Abstract Available
BibTeX
@InProceedings{FearnleyIbsenJensen-OneClockPricedTimed, author = {John Fearnley and Rasmus Ibsen-Jensen and Rahul Savani}, title = {One-Clock Priced Timed Games are PSPACE-hard}, booktitle = {Proceedings of the Thirty fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2020)}, year = {2020}, month = {July}, pages = {397--409}, location = {Saarbrucken, Germany}, publisher = {IEEE Computer Society Press} }