TY  - RPRT
TI  - Specification sketching for Linear Temporal Logic
AU  - Simon Lutz
AU  - Daniel Neider
AU  - Rajarshi Roy
PY  - 2022
UR  - https://arxiv.org/abs/2206.06722
ID  - 2206.06722
ER  -