"Takashi Tomita,Takahito Kimura,Shigeki Hagihara,Naoki Yonezaki","An Efficient Implementation of Satisfiability Checking for LTL with Mean-Payoff Constraints","Workshop on Computation: Theory and Practice (WCTP2014)","Preproceedings of Workshop on Computation: Theory and Practice (WCTP2014)",,,,"pp. 30-42",2014,Oct.