Skip to main content

Decidable Continuous Time Temporal Logic

Alex Rabinovich ( Tel Aviv University, School of Computer Science )

In this talk we survey expressiveness and complexity results for continuous time temporal logic which can specify metric properties.

Share this: