Abstract
Recent decidability results on the satisfiability problem for temporal logics, in particular LTL, CTL* and ECTL*, with constraints over external structures like the integers with the order or infinite trees are surveyed in this paper.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have