Yong Li, Lei Song, Yuan Feng, Lijun Zhang. Verify LTL with Fairness Assumptions Efficiently. In Curtis E. Dyreson, Michael R. Hansen, Luke Hunsberger, editors, 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016, Kongens Lyngby, Denmark, October 17-19, 2016. pages 41-50, IEEE Computer Society, 2016. [doi]
Abstract is missing.