my forest
1\taxon{Research Notebook}
2\import{ltp-macros}
3\title{Linear-time temporal properties}
4\author{liamoc}
5\transclude{ltp-0002}
6\transclude{ltp-0003}
7\subtree{
8 \title{Concerning safety properties}
9\transclude{ltp-0004}
10\scope{\put\transclude/metadata{true}\transclude{ltp-000B}}
11\transclude{ltp-000A}
12\transclude{ltp-0009}
13\transclude{ltp-000E}
14\transclude{ltp-0008}
15}
16\subtree{
17 \title{Concerning guarantee properties}
18\transclude{ltp-0005}
19\scope{\put\transclude/metadata{true}\transclude{ltp-000D}}
20\transclude{ltp-000C}
21\transclude{ltp-000G}
22\transclude{ltp-000H}
23\transclude{ltp-000F}
24}
25\subtree{
26 \title{Properties as a topological space}
27 \scope{\put\transclude/metadata{true}\transclude{ltp-0007}}
28 \scope{\put\transclude/metadata{true}\transclude{ltp-000I}}
29 \scope{\put\transclude/metadata{true}\transclude{ltp-000N}}
30 \transclude{ltp-000P}
31 \scope{\put\transclude/metadata{true}\transclude{ltp-000O}}
32 \scope{\put\transclude/metadata{true}\transclude{ltp-000J}}
33 \transclude{ltp-000Q}
34 \transclude{ltp-000R}
35 \transclude{ltp-000S}
36 \transclude{ltp-000M}
37}
38\subtree{
39 \title{Concerning liveness properties}
40 \transclude{ltp-0006}
41 \scope{\put\transclude/metadata{true}\transclude{ltp-000K}}
42 \transclude{ltp-000T}
43 \transclude{ltp-000U}
44 \scope{\put\transclude/metadata{true}\transclude{ltp-000L}}
45}
46\subtree{
47 \title{Concerning LTL}
48 \transclude{ltp-000V}
49 \transclude{ltp-000W}
50}