Results 1 to 10 of about 430,787 (365)

Vectorial languages and linear temporal logic [PDF]

Theoretical Computer Science, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Olivier Serre
openalex   +6 more sources

Efficient Normalization of Linear Temporal Logic [PDF]

Journal of the ACM
In 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, Rubén Rubio, Salomon Sickert   +2 more
openalex   +4 more sources

Runtime Assurance for Uncertain Linear Systems from Interval Signal Temporal Logic

Luke Baird, Evans Morales-Cuadrado, Samuel Coogan   +2 more
openalex   +1 more source

Linear Temporal Public Announcement Logic: a new perspective for reasoning about the knowledge of multi-classifiers [PDF]

, 2020
Amirhoshang Hoseinpour Dehkordi, Majid Alizadeh, Ali Movaghar   +2 more
openalex   +1 more source

On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic

, 2021
Anton Gnatenko, В. А. Захаров
openalex   +2 more sources

A hybrid support vector machine and neural network model with fuzzy logic fusion for smart city traffic prediction. [PDF]

Sci Rep
Abbas B, Alyas T, Abbas Q, Alqahtany SS, Alghamdi T, Aljohani N, Tabassum N, Ibrahim AM.   +7 more
europepmc   +1 more source

Fusing Multi-Temporal Context for Image Super-Resolution Reconstruction in Cultural Heritage Monitoring. [PDF]

Sensors (Basel)
Chen C, Chen F, Gao S, Li H, Zhang X, Cheng Y.   +5 more
europepmc   +1 more source

Mitigating Neural Habituation in Insect Bio-Bots: A Dual-Timescale Adaptive Control Approach. [PDF]

Biomimetics (Basel)
Triet LM, Truong Thinh N.
europepmc   +1 more source

Distributed Locally Non-interfering Connectivity via Linear Temporal Logic. [PDF]

, 2020
Hans Riess, Yiannis Kantaros, George J. Pappas, Robert Ghrist   +3 more
openalex  

Staying With the Trouble in Nursing 12.5 Hours at a Time. [PDF]

Nurs Philos
Smith JB.
europepmc   +1 more source