Skip to content

3 additional famillies of LTL formulas for genltl

http://www.cs.huji.ac.il/~ornak/publications/mochart10.pdf has 3 interesting famillies of LTL formulas we could implement in genltl.