A Temporal Logic with Mean-Payoff Constraints.

Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki

Browse the full ICFEM paper archive.