Results 81 to 90 of about 430,787 (365)

The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations [PDF]

, 2019
We argue that European transport regulations can be formalized within the Sigma^1_1 fragment of monadic second order logic, and possibly weaker fragments including linear temporal logic.
, , , de Almeida Borges, Ana, Joosten, Joost J.   +4 more
core   +2 more sources

Fuzzy Linear Temporal Logic with Quality Constraints

Mathematics
As an extension of quantitative temporal logic, uncertain temporal logic essentially describes the temporal behavior of uncertain and incomplete systems, thus better solving search and decision-making problems in such systems. Fuzzy linear temporal logic
Xianfeng Yu, Yongming Li, Shengling Geng
doaj   +1 more source

Modular analysis of gene networks by linear temporal logic

Journal of Integrative Bioinformatics, 2013
Despite a lot of advances in biology and genomics, it is still difficult to utilise such valuable knowledge and information to understand and analyse large biological systems due to high computational complexity. In this paper we propose a modular method
Ito Sohei, Ichinose Takuma, Shimakawa Masaya, Izumi Naoko, Hagihara Shigeki, Yonezaki Naoki   +5 more
doaj   +1 more source

Partial cut elimination for propositional discrete linear time temporal logic

Lietuvos Matematikos Rinkinys, 2010
We consider propositional discrete linear time temporal logic with future and past operators of time. For each formula ϕ of this logic, we present Gentzen-type sequent calculus Gr(ϕ) with a restricted cut rule.
Jūratė Sakalauskaitė
doaj   +1 more source

Managing LTL properties in Event-B refinement [PDF]

, 2014
Refinement in Event-B supports the development of systems via proof based step-wise refinement of events. This refinement approach ensures safety properties are preserved, but additional reasoning is required in order to establish liveness and fairness ...
Schneider, Steve, Treharne, Helen, Wehrheim, Heike, Williams, David   +3 more
core   +2 more sources

Gödel–Dummett linear temporal logic

Artificial Intelligence
arXiv admin note: substantial text overlap with arXiv:2205.00574, arXiv:2205 ...
Juan Pablo Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean   +3 more
openaire   +4 more sources

A Logic for Constraint-based Security Protocol Analysis [PDF]

, 2006
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties.
Corin, R.J., Etalle, S., Saptawijaya, A.
core   +5 more sources

Towards an algebrization of a linear temporal logic

CQD Revista Eletrônica Paulista de Matemática
The subject of this paper is the Propositional Neighbourhood Logic (PNL), a case of linear temporal logic and an extension of Classical Propositional Logic that results from the inclusion of modal operators that deal with certain temporal aspects.
Romulo Albano de Freitas, Hércules de Araujo Feitosa, Luiz Henrique da Cruz Silvestrini   +2 more
doaj   +1 more source

On Relaxing Metric Information in Linear Temporal Logic

, 2011
Metric LTL formulas rely on the next operator to encode time distances, whereas qualitative LTL formulas use only the until operator. This paper shows how to transform any metric LTL formula M into a qualitative formula Q, such that Q is satisfiable if ...
Furia, Carlo A., Spoletini, Paola
core   +2 more sources

Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications [PDF]

, 2015
We consider partially observable Markov decision processes (POMDPs), that are a standard framework for robotics applications to model uncertainties present in the real world, with temporal logic specifications. All temporal logic specifications in linear-
Chatterjee, Krishnendu, Chmelík, Martin, Gupta, Raghav, Kanodia, Ayush   +3 more
core   +3 more sources