Pages that link to "Item:Q288804"
From MaRDI portal
The following pages link to Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804):
Displaying 3 items.
- Reactive synthesis from interval temporal logic specifications (Q2062122) (← links)
- Decidability of the interval temporal logic \(\operatorname{AB\overline{B}}\) over the natural numbers (Q3113783) (← links)
- Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness (Q5271056) (← links)
