spec-glossary/glossary/ltl.yml


1
2
3
4
5
6
7
8
9
10
11
12

SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2022 Trinity College Dublin
enabled-by: true
glossary-type: term
links:
- role: glossary-member
  uid: ../glossary-general
term: LTL
text: |
  This term is an acronym for ${linear-temporal-logic:/term}.
type: glossary