Optimal bounds in parametric LTL games



Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2013) Optimal bounds in parametric LTL games. THEORETICAL COMPUTER SCIENCE, 493. 30 - 45.

[img] Text
optimalbounds.pdf - Accepted Version

Download (535kB) | Preview
Item Type: Article
Uncontrolled Keywords: Infinite games, Parametric linear temporal logic, PROMPT-LTL, Optimal winning strategies
Depositing User: Symplectic Admin
Date Deposited: 15 Jul 2019 12:49
Last Modified: 02 Sep 2021 12:05
DOI: 10.1016/j.tcs.2012.07.039
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3050014