This interactive form lets you edit CTL formulas by choosing from a series of templates, it implements the approach proposed in Thomas et al., 2022. Templates may be nested arbitrarily.
This interactive form lets you edit CTL formulas by choosing from a series of templates, it implements the approach proposed in Thomas et al., 2022. Templates may be nested arbitrarily.