Verify LTL with Fairness Assumptions Efficiently
Published in Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning (TIME 2016), 2016
This is joint work with Lei Song, Yuan Feng, and Lijun Zhang. The published paper is available here.