Results 311 to 320 of about 430,787 (365)

A scalable anytime algorithm for learning fragments of linear temporal logic

Formal methods in system design, 2021
Linear temporal logic (\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document ...
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, D. Neider   +3 more
semanticscholar   +1 more source

Visibly Linear Temporal Logic

Journal of Automated Reasoning, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bozzelli L., Sanchez C.
openaire   +2 more sources

Synchronized Linear-Time Temporal Logic

Studia Logica, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Wansing, Heinrich, Kamide, Norihiro
openaire   +2 more sources

On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language

IEEE Transactions on Software Engineering, 2020
Temporal properties are important in a wide variety of domains for different purposes. For example, they can be used to avoid architectural drift in software engineering or to support the regulatory compliance of business processes.
Christoph Czepa, Uwe Zdun
semanticscholar   +1 more source

A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic

IEEE Robotics and Automation Letters, 2020
Despite the current increasing popularity of Behavior Trees (BTs) in the robotics community, there does not currently exist a method to formally verify their correctness without compromising their most valuable traits: modularity, flexibility and ...
O. Biggar, Mohammad Zamani
semanticscholar   +1 more source

A Paraconsistent Linear-time Temporal Logic

Fundamenta Informaticae, 2011
Inconsistency-tolerant reasoning and paraconsistent logic are of growing importance not only in Knowledge Representation, AI and other areas of Computer Science, but also in Philosophical Logic. In this paper, a new logic, paraconsistent linear-time temporal logic (PLTL), is obtained semantically from the linear-time temporal logic LTL by adding a ...
Kamide, Norihiro, Wansing, Heinrich
openaire   +1 more source

Finite-trace linear temporal logic: coinductive completeness

Formal Methods in System Design, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Grigore Roşu
semanticscholar   +3 more sources

Temporal normal form for Linear Temporal Logic formulae

Journal of Intelligent & Fuzzy Systems, 2015
In the present paper, the concepts of characters as well as the least characters for LTL (Linear Temporal Logic) formulae are introduced. It is pointed out that those LTL formulae with characters can always be checked within finite steps during model checking even in some cases when the underlying transition system contains infinite states.
Shi, Hui-Xian, Li, Yong-Ming
openaire   +1 more source

Regular Linear Temporal Logic

2007
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LTL operator can be defined as a context in regular linear temporal logic. This implies that there is a (linear) translation from LTL to RLTL.
Martin Leucker, César Sánchez
openaire   +1 more source

Mining Security Critical Linear Temporal Logic Specifications for Processors

International Workshop on Microprocessor Test and Verification, 2018
This paper presents UNDINE, a tool to automatically generate security critical Linear Temporal Logic (LTL) properties of processor architectures. UNDINE handles complex templates, such as those involving four or more variables, register equality to a ...
Calvin Deutschbein, C. Sturton
semanticscholar   +1 more source