1 paper · 2 filters
Giuseppe De Giacomo, Yong Li, Sven Schewe +2
The temporal logics LTLf+ and PPLTL+ have recently been proposed to express objectives over infinite traces. These logics are appealing because they match the expressive power of L…