Results 81 to 90 of about 283,349 (325)
Efficient Normalization of Linear Temporal Logic
Journal of the ACMIn the mid 1980s, Lichtenstein, Pnueli, and Zuck proved a classical theorem stating that every formula of Past LTL (the extension of Linear Temporal Logic (LTL) with past operators) is equivalent to a formula of the form \(\bigwedge _{i=1}^n {\mathbf {G}}{\mathbf {F}}\varphi _i \vee {\mathbf {F}}{\mathbf {G}}\psi
Javier Esparza +2 more
openaire +3 more sources
A Combination of Interval Logic and Linear Temporal Logic [PDF]
, 1998 The super-dense computation model provides an abstraction of real-time behaviour of computing systems. We present a combination of a linear temporal logic and an interval logic that uses super-dense computation and demonstrate how it can be used to specify real-time semantics and real-time properties of an OCCAM-like programming language.
Z. Qiu, C. Zhou
openaire +2 more sources
Gödel-Dummett linear temporal logic
, 2023 arXiv admin note: substantial text overlap with arXiv:2205.00574, arXiv:2205 ...
Aguilera, Juan Pablo +3 more
openaire +2 more sources
Advanced Functional Materials, EarlyView.Thermoelectric temperature sensors are developed that directly measure heat changes during optical‐based neural stimulation with millisecond precision. The sensors reveal the temperature windows for safe reversible neural modulation: 1.4–4.5 °C enables reversible neural inhibition, while temperatures above 6.1 °C cause permanent thermal damage.
Junhee Lee +9 more
wiley +1 more source
A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time [PDF]
Logical Methods in Computer Science, 2012 Interval Temporal Logic (ITL) is an established temporal formalism for reasoning about time periods. For over 25 years, it has been applied in a number of ways and several ITL variants, axiom systems and tools have been investigated.
Ben Moszkowski
doaj +1 more source
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
Advanced Functional Materials, EarlyView.High‐entropy perovskite nanofibers serve as robust and active bifunctional air electrodes in reversible protonic ceramic electrochemical cells. Their compositional complexity stabilizes the lattice, enriches oxygen vacancies, and accelerates surface exchange.
Hyeonggeun Kim +4 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A single cell type Electro‐chromo‐emissive (ECECL) device integrating synchronized electrochromic (EC) and electrochemiluminescent (ECL) functions is developed using a mixed ionic‐electronic conductor (MIEC). A MIEC layer reduces ionic/electronic resistance, enabling ultrafast switching and enhanced optical contrast.
Hwandong Jang +5 more
wiley +1 more source
Simulation under Arbitrary Temporal Logic Constraints [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Most model checkers provide a useful simulation mode, that allows users to explore the set of possible behaviours by interactively picking at each state which event to execute next.
Julien Brunel +3 more
doaj +1 more source
Advanced Healthcare Materials, EarlyView.This research introduces a cold plasma‐based platform for treating breast cancer bone metastases. Using a novel bioprinted 3D tumor‐stroma model, it highlights the selective antitumor effects of plasma‐generated reactive species. The platform aims to advance non‐invasive therapeutic strategies, offering potential clinical applications in controlling ...
Laura M. Bouret +4 more
wiley +1 more source