Tiago F. Sequeira

According to our database, Tiago F. Sequeira authored at least 4 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2025

Robust Spatio-Temporal Logic Semantics for Autonomous Driving Systems Falsification.

Tiago F. Sequeira, André de Matos Pedro

Proceedings of the Formal Methods for Industrial Critical Systems, 2025

2024

Monitoring of spatio-temporal properties with nonlinear SAT solvers.

André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira

Int. J. Softw. Tools Technol. Transf., April, 2024

2022

NeuralFieldEq.jl: A flexible solver to compute Neural Field Equations in several scenarios.

Tiago F. Sequeira

J. Open Source Softw., 2022

Numerical simulations of one- and two-dimensional stochastic neural field equations with delay.

Tiago F. Sequeira, Pedro Miguel Lima

J. Comput. Neurosci., 2022