Verify LTL with Fairness Assumptions Efficiently

Date:

This paper was accepted for presentation at 23rd International Symposium on Temporal Representation and Reasoning (TIME 2016)