A Sound and Complete Reified Temporal Logic.

Guoxing Zhao, Jixin Ma, Fuxing Shen, Miltos Petridis

Browse the full SNPD paper archive.