Verify LTL with Fairness Assumptions Efficiently

Published in Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning (TIME 2016), 2016

Recommended citation:

This is joint work with Lei Song, Yuan Feng, and Lijun Zhang. The published paper is available here.