Learning to Estimate System Specifications in Linear Temporal Logic
using Transformers and Mamba
Learning to Estimate System Specifications in Linear Temporal Logic
using Transformers and Mamba
Temporal logic is a framework for representing and reasoning about propositions that evolve over time. It is commonly used for specifying requirements in various domains, including hardware and software systems, as well as robotics. Specification mining or formula generation involves extracting temporal logic formulae from system traces and has numerous …