Optimal Bounds in Parametric LTL Games



Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2011) Optimal Bounds in Parametric LTL Games. .

[img] Text
optpltl.pdf - OA Published Version

Download (191kB) | Preview
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 15 Jul 2019 12:56
Last Modified: 02 Aug 2021 07:19
DOI: 10.4204/eptcs.54.11
URI: https://livrepository.liverpool.ac.uk/id/eprint/3049687