Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach.

Alexander Bolotov, Montserrat Hermo, Paqui Lucio

Browse the full TIME paper archive.