Results 71 to 80 of about 430,787 (365)
Backdoors for linear temporal logic [PDF]
, 2017 In the present paper, we introduce the backdoor set approach into the field of temporal logic for the global fragment of linear temporal logic. We study the parameterized complexity of the satisfiability problem parameterized by the size of the backdoor.
Meier, Arne +3 more
core +2 more sources
On the Expressiveness of TPTL and MTL over ω-Data Words [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) are prominent extensions of Linear Temporal Logic to specify properties about data languages.
Claudia Carapelle +3 more
doaj +1 more source
LTL-Specification of Counter Machines
Моделирование и анализ информационных систем, 2021 The article is written in support of the educational discipline “Non-classical logics”. Within the framework of this discipline, the objects of study are the basic principles and constructive elements, with the help of which the formal construction of ...
Egor V. Kuzmin
doaj +1 more source
Time-Constrained Temporal Logic Control of Multi-Affine Systems [PDF]
, 2012 In this paper, we consider the problem of controlling a dynamical system such that its trajectories satisfy a temporal logic property in a given amount of time.
Belta, Calin, Gol, Ebru Aydin
core +3 more sources
Learning Interpretable Models Expressed in Linear Temporal Logic
International Conference on Automated Planning and Scheduling, 2019 We examine the problem of learning models that characterize the high-level behavior of a system based on observation traces. Our aim is to develop models that are human interpretable.
Alberto Camacho, Sheila A. McIlraith
semanticscholar +1 more source
A hybrid barrier certificate approach to satisfy linear temporal logic specifications [PDF]
American Control Conference, 2018 In this work we formulate the satisfaction of a (syntactically co-safe) linear temporal logic specification on a physical plant through a recent hybrid dynamical systems formalism.
A. Bisoffi, Dimos V. Dimarogonas
semanticscholar +1 more source
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Probabilistic Computation Tree Logic (PCTL) and Continuous Stochastic Logic (CSL) are often used to describe specifications of probabilistic properties for discrete time and continuous time, respectively.
Takashi Tomita +2 more
doaj +1 more source
LTL-Specification of Bounded Counter Machines
Моделирование и анализ информационных систем, 2022 The article revises the results of the work devoted to the problem of representing the behaviour of a program system as a set of formulas of the linear temporal logic LTL, followed by the use of this representation to verify the satisfiability of the ...
Egor V. Kuzmin
doaj +1 more source
Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations
International Joint Conference on Artificial Intelligence, 2019 Temporal logics are useful for providing concise descriptions of system behavior, and have been successfully used as a language for goal definitions in task planning.
Joseph Kim +4 more
semanticscholar +1 more source
Safety design of IoT operating system based on linear temporal logic
Dianzi Jishu Yingyong, 2020 In this paper, according to the requirement of safety design of IoT(Internet of Things) operating system, combined with the research and engineering practice of classical linear temporal logic, logic programming and theory of formal model detection, a ...
Zhang Huaqiang, Li Kaihang, Wang Jigang
doaj +1 more source