Results 131 to 140 of about 430,638 (229)

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

Vectorial languages and linear temporal logic

, 2003
Olivier Serre
openalex   +2 more sources

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

Efficient Normalization of Linear Temporal Logic [PDF]

Javier Esparza, Rubén Rubio, Salomon Sickert   +2 more
openalex   +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