Real-Time Policy Enforcement with Metric First-Order Temporal Logic.

Franois Hublet, David A. Basin, Srdan Krstic

Browse the full ESORICS paper archive.