A Temporal Logic with Mean-Payoff Constraints

Cite this paper

@inproceedings{Tomita2012ATL, title={A Temporal Logic with Mean-Payoff Constraints}, author={Takashi Tomita and Shin Hiura and Shigeki Hagihara and Naoki Yonezaki}, booktitle={ICFEM}, year={2012} }