Regular Linear-Time Temporal Logic.

Martin Leucker, Csar Snchez

Browse the full TIME paper archive.