ALTL

Medical abbreviations:
ALTL

Ased Linear Temporal Logic