Optimal Complexity Bounds for Positive LTL Games.

Jerzy Marcinkowski Tomasz Truderung

Published in: CSL (2002)

Keyphrases

complexity bounds
worst case
optimal solution
database
special case
model checking
temporal information
query containment