https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2011.627
Linear temporal logic for regular cost functions
linear temporal logicregularcostfunctions
https://arxiv.org/abs/2206.06722
[2206.06722] Specification sketching for Linear Temporal Logic
Abstract page for arXiv paper 2206.06722: Specification sketching for Linear Temporal Logic
specificationsketchinglineartemporallogic