my forest
typo
+1
-1
+1
-1
trees/loc-003Z.tree
+1
-1
trees/loc-003Z.tree
···
1
1
\title{Progress on linear-temporal properties research notes}
2
2
\date{2026-04-12}
3
3
\author{liamoc}
4
-
\p{I have made significant additions to my research notes on [[ltp-0001]]. Now I have all the relevant content from [[alpern-schneider-1985]], and some of the definitions that will appear in the forthcoming journal paper from [[rayhana]] and I. This paper finally got reviews back, and we have quite a few things to do but I'm confident we'll get there.}
4
+
\p{I have made significant additions to my research notes on [[ltp-0001]]. Now I have all the relevant content from [[alpern-schneider-1985]], and some of the definitions that will appear in the forthcoming journal paper from me and [[rayhana]]. This paper finally got reviews back, and we have quite a few things to do but I'm confident we'll get there.}