The top documents tagged [ctl calculus]
A Semiring-valued Temporal Logic
264 views