# Revisiting Timed Logics with Automata Modalities

25 Dec 2018 Ho Hsi-Ming

It is well known that (timed) $\omega$-regular properties such as p holds at every even position' and p occurs at least three times within the next 10 time units' cannot be expressed in Metric Interval Temporal Logic ($\mathsf{MITL}$) and Event Clock Logic ($\mathsf{ECL}$). A standard remedy to this deficiency is to extend these with modalities defined in terms of automata... (read more)

PDF Abstract

# Code Add Remove Mark official

No code implementations yet. Submit your code now

# Categories

• LOGIC IN COMPUTER SCIENCE