An Asymptotically Correct Finite Path Semantics for LTL.

Andreas Morgenstern, Manuel Gesell, Klaus Schneider

Browse the full LPAR paper archive.