Linear temporal logic and Linear Dynamic Logic on finite traces
2013In this paper we look into the assumption of interpreting LTL over finite traces. In particular we show that LTLf, i.e., LTL under this assumption, is less expressive than what might appear at first sight, and that at essentially no computational cost one can make a significant increase in expressiveness while maintaining the same intuitiveness of LTLf.
DE GIACOMO, Giuseppe, Moshe Y. Vardi
openaire +1 more source
Possibilistic Fuzzy Linear Temporal Logic and Its Model Checking
IEEE Transactions on Fuzzy Systems, 2021Yongming Li
exaly
Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks
IEEE Transactions on Control Systems Technology, 2021Lars Lindemann +2 more
exaly
A Calculational Deductive System for Linear Temporal Logic
ACM Computing Surveys, 2020J Stanley Warford
exaly
Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications
IEEE Transactions on Robotics, 2021Mohit Srinivasan, Samuel Coogan
exaly
Temporal Logic Task Allocation in Heterogeneous Multirobot Systems
IEEE Transactions on Robotics, 2022Xusheng Luo, Michael M Zavlanos
exaly
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
IEEE Transactions on Automatic Control, 2008Marius Kloetzer, Calin Belta
exaly
Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints
IEEE Transactions on Automatic Control, 2014Stephen L Smith, Calin Belta
exaly
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae
2023Shaun Azzopardi +3 more
openaire +1 more source
Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
IEEE Transactions on Automatic Control, 2004Shengbing Jiang, Ratnesh
exaly