C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Optimal bounds in parametric LTL games.
Martin Zimmermann
Published in:
Theor. Comput. Sci. (2013)
Keyphrases
</>
worst case
tight bounds
upper bound
video games
optimal solution
closed form
asymptotically optimal
dynamic programming
model checking
lower bound
np hard
temporal logic
game theoretic
optimal cost