Skip to main content

On the Expressiveness of Metric Temporal Logic over Bounded Timed Words

Hsi−Ming Ho and Joël Ouaknine

Note
To appear in RP 2014.
Year
2014