Optimal Proofs for Linear Temporal Logic on Lasso Words.

David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel

Browse the full ATVA paper archive.