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
.
http://www.cs.huji.ac.il/~ornak/publications/mochart10.pdf
has 3 interesting famillies of LTL formulas we could implement in genltl
.