Search Result for "
ltl"
:
The Free On-line Dictionary of Computing (30 December 2018):
LTL
Linear Temporal Logic