One-Pass Context-Based Tableaux Systems for CTL and ECTL.

Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio

Browse the full TIME paper archive.