temporal logic
Converting from Service Level Agreement to Probabilistic Temporal Logic Specification
... probabilistic temporal logic ...alternating-time temporal logic with rewards specification (rPATL) for the properties specification used in PRISM-games model checker ...
7
Efficient First-Order Temporal Logic for Infinite-State Systems
... any finite collection of such automata can be tractably verified using this propositional XOR temporal logic. However, one might argue that this deductive approach, although elegant and concise, is still no ...
16
The complexity of counting models of linear-time temporal logic
... propositional logic. Model counting for Linear-time Temporal Logic (LTL) has been recently introduced in ...specification logic for reactive systems [16] and the standard input language for ...
12
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic
... modal logic to describe and expecially validate spatio-temporal properties is much less ...spatial logic for rewrite theories ...spatial logic is [13, ...spatio-temporal logic ...
8
Abstraction In Model Checking Real-Time Temporal Logic of Knowledge
... real-time temporal logic of knowledge TACTLK confronts the state space explosion problem as in traditional model checking, that is the state space grows exponentially with the increase of the number of ...
9
A Resolution Calculus for the Branching-Time Temporal Logic CTL
... Tree Logic (CTL) [Clarke and Emerson 1982] is a propositional branching-time temporal logic whose underlying model of time is a choice of possi- bilities branching into the ...and temporal ...
51
Aternating time temporal logic with resource bounds
... Coalition Logic (CL) and Alternating-time Temporal Logic ...a logic for reasoning about coalitional ability under resource ...resulting logic, Resource-Bounded ATL (RB-ATL) and a ...
33
Online network intrusion detection system using temporal logic and stream data processing
... Metric Temporal Logic (MSFOMTL) syntax and semantics for representing temporal patterns of attacks or normal ...using temporal logic takes advantage of its expressiveness and ...
212
The dark side of Interval Temporal Logic: sharpening the undecidability border
... class of interval structures [4]. In particular, undecidability holds for any class of interval structures over linear orders that contains at least one linear order with an infinite ascending (or descending) sequence of ...
8
The dark side of Interval Temporal Logic: marking the undecidability border
... interval-based temporal reasoning, however, interval temporal logics are far less studied and popular than point-based ones because of their higher con- ceptual and computational complexity (relations ...
38
Incremental Control Synthesis for Robotics in the Presence of Temporal Logic Specifications
... both of these features. Two problem settings are considered, each involving a broad category of synthesis: reactive and non-reactive (or closed-system). The first set- ting is essentially formulated as a game for which a ...
137
Alternating time temporal logic with resource bounds
... Coalition Logic (CL) and Alternating-time Temporal Logic ...a logic for reasoning about coalitional abil- ity under resource ...resulting logic, Resource-Bounded ATL (RB-ATL), and a ...
43
Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty
... Metric Temporal Logic (MTL) by (Koymans 1990) extends the expressiveness of the well- known Linear Temporal Logic (LTL) (Emerson 1990) by adding metric intervals for the temporal ...
8
Probabilistic Model Checking on Propositional Projection Temporal Logic
... The new interval-based temporal logic is called Projection Temporal Logic (PTL) [12]. PTL is a useful formalism for reasoning about period of time for hardware and software systems. It can ...
7
Investigating a Zero One law for Linear Temporal Logic statements in large random graphs
... Linear Temporal Logic statements for graphs are widely used for model checking purposes ...Linear Temporal Logic covers statements as `Always' and ...Linear Temporal Logic ...
27
Simple Interval Temporal Logic for Natural Language Assertion Descriptions
... linear temporal logic which can express temporal behaviours of the system ...complex temporal relations between signals to be expressed in a concise and accurate ...required temporal ...
11
Mechanistic modelling of a recombinase based two input temporal logic gate
... two-input temporal logic gate using previously validated models of in vitro DNA recombination ...the logic gate to inputs separated by fi ve different induction separation ...of logic functions ...
12
temporal logic representing and reasoning about change unpublished
... linear temporal logic PLTL that allows us to state temporal knowledge and deduce new facts from ...of temporal logic, in terms of more sophisticated syntax and semantics, other ...
8
Control of Dynamical Systems with Temporal Logic Specifications
... Instead of blindly doing expensive reachability computations to construct an ab- straction of a dynamical system, we use a coarse abstraction of the system and perform constrained reachability checks as needed for the ...
157
Linear Temporal Logic-based Mission Planning
... Action verification during the motion of the robot, having correct- by-constructions controllers for temporal logic based synthesis, was proposed by Raman et al.[13]. Here the physical robot was controlled ...
10