Specification Sketching for Linear Temporal Logic.

Simon Lutz, Daniel Neider, Rajarshi Roy

Browse the full ATVA paper archive.