Alternative semantics for temporal logics
Computer Compacts, 1983 The paper studies relationships between alternative semantics for temporal logics. Three common constraints on the allowed sets of computation paths, the suffix closure [\textit{D. Harel}, \textit{D. Kozen} and \textit{R. Parikh}, J. Comput. Syst. Sci. 25, 144-170 (1982; Zbl 0494.03016)], the fusion closure [\textit{V. R.
openaire +3 more sources
Probabilistic propositional temporal logics
Information and Control, 1986 Zohar Manna introduced temporal logic in order to speak formally about properties of programs which are not expressible in other program logics. The paper presents two closely related propositional probabilistic temporal logics. The syntax is typically temporal while the semantics uses probability theory.
Micha Sharir, Sergiu Hart
openaire +2 more sources
Untethered Magnetic Microswimmers for Targeted Particle Transport and Flow Manipulation
Advanced Materials Technologies, EarlyView.This work introduces magnetically actuated microswimmers to dynamically reconfigure fluid flow within a single microfluidic device. Multiple homogeneous microswimmers are independently controlled by an external magnetic field to perform translational and rotational motions, thereby inducing real‐time flow manipulation.
Dineshkumar Loganathan +3 more
wiley +1 more source
Safe reinforcement learning under temporal logic with reward design and quantum action selection. [PDF]
Sci Rep, 2023 Cai M, Xiao S, Li J, Kan Z.
europepmc +1 more source
Specifying message passing systems requires extending temporal logic [PDF]
, 1987 Ron Koymans
openalex +1 more source
On the expressive power of temporal logic
Journal of Computer and System Sciences, 1993 The expressive powers of propositional linear temporal logic (PTL) and of a restriction of temporal logic (RTL), obtained by considering only the operators ``next'' and ``eventually'', are studied. Temporal logics are interpreted on finite words, i.e., a temporal logic formula defines a set of words and the problem is to determine which formal language
Joëlle Cohen +2 more
openaire +2 more sources
Exploring Double NDR Modulation and UV‐NIR Photodetection in MoS2/Sb2Se3 Heterostructures
Advanced Optical Materials, EarlyView.In this study, a van der Waals Sb2Se3/MoS2 heterostructure exhibits dual negative differential resistance (NDR) peaks at room temperature. The first originates from band‐to‐band tunneling, while the second, triggered under laser illumination, is attributed to trap states and recombination dynamics.
Muhammad Suleman +8 more
wiley +1 more source
Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems
ComputersToday, various applications in different domains increasingly rely on high-performance computing (HPC) to accomplish computations swiftly. Integrating one or more programming models alongside the used programming language enhances system parallelism ...
Salwa Saad +4 more
doaj +1 more source
Logic of Algorithmic Knowledge
Studies in Logic, Grammar and Rhetoric, 2015 In this paper we consider the construction of a LAK system of temporal-epistemic logic which is used to formally describe algorithmic knowledge. We propose an axiom system of LAK and discuss the basic properties of this logic.
Surowik Dariusz
doaj +1 more source
A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. [PDF]
Sensors (Basel), 2023 Bezerra WR, Martina JE, Westphall CB.
europepmc +1 more source