Copertina

mstlo: Efficient Online Monitoring of Signal Temporal Logic

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Thomsen, Andreas Kaag, Madsen, Niels Viggo Stark, Evans, Valdemar Tang, Wright, Thomas David, Esterle, Lukas, Larsen, Peter Gorm
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Reelay: Online Temporal Logic Monitoring Framework
di: Ulus, Dogan
Pubblicazione: (2026)

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation
di: Tang, Valdemar, et al.
Pubblicazione: (2024)

Multi-Property Temporal Logic Monitoring
di: Demir, Arınç, et al.
Pubblicazione: (2026)

Cumulative-Time Signal Temporal Logic
di: Chen, Hongkai, et al.
Pubblicazione: (2025)

Online Monitoring of Metric Temporal Logic using Sequential Networks
di: Ulus, Dogan
Pubblicazione: (2019)

Dependence Logics in Temporal Settings
di: Baltag, Alexandru, et al.
Pubblicazione: (2022)

Quantitative Monitoring of Signal First-Order Logic
di: Chalupa, Marek, et al.
Pubblicazione: (2026)

Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*)
di: Ghorbel, Bassem, et al.
Pubblicazione: (2024)

Guarded Successor: A Novel Temporal Logic
di: Asor, Ohad
Pubblicazione: (2024)

Synchronous Team Semantics for Temporal Logics
di: Krebs, Andreas, et al.
Pubblicazione: (2024)

GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning
di: Chevallier, Mark, et al.
Pubblicazione: (2025)

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
di: Melani, Beatrice, et al.
Pubblicazione: (2025)

A Linear Temporal Logic of Frequencies on Series of Events
di: Antonelli, Melissa, et al.
Pubblicazione: (2026)

On the Metric Temporal Logic for Continuous Stochastic Processes
di: Ikeda, Mitsumasa, et al.
Pubblicazione: (2023)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

Efficient Normalization of Linear Temporal Logic
di: Esparza, Javier, et al.
Pubblicazione: (2023)

Modal Logic for Distributed Trust
di: Voorneveld, Niels, et al.
Pubblicazione: (2026)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
di: Meng, Yue, et al.
Pubblicazione: (2025)

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)
di: Heim, Philippe, et al.
Pubblicazione: (2024)

A Foundation for Differentiable Logics using Dependent Type Theory
di: Affeldt, Reynald, et al.
Pubblicazione: (2026)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
di: Kapoor, Parv, et al.
Pubblicazione: (2024)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
di: Meng, Yue, et al.
Pubblicazione: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
di: Lin, Yuanfei, et al.
Pubblicazione: (2022)

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
di: Dietrich, Elizabeth, et al.
Pubblicazione: (2025)

Modal Logic for Reasoning About Uncertainty and Confusion
di: Bílková, Marta, et al.
Pubblicazione: (2025)

Conformal Signal Temporal Logic for Robust Reinforcement Learning Control: A Case Study
di: Beirami, Hani, et al.
Pubblicazione: (2026)

Agent-Knowledge Logic for Alternative Epistemic Logic
di: Nishimura, Yuki
Pubblicazione: (2024)

Logic of the Great, Logic of the Wise 2
di: Fedorchenko, Mikhail
Pubblicazione: (2026)

Zeta Functions and the (Linear) Logic of Markov Processes
di: Seiller, Thomas
Pubblicazione: (2020)

Linear Temporal Justification Logics with Past Operators
di: Ghari, Meghdad
Pubblicazione: (2018)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
di: Lyon, Tim S.
Pubblicazione: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
di: Marin, Sonia, et al.
Pubblicazione: (2025)

Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
di: Vehlken, Fabian, et al.
Pubblicazione: (2026)

Proof Theory for Bimodal Provability Logics
di: Miranda, Borja Sierra, et al.
Pubblicazione: (2026)

Skolemization In Intermediate Logics
di: Baaz, Matthias, et al.
Pubblicazione: (2025)

Constructive Quantum Logics
di: Aguilera, Juan P., et al.
Pubblicazione: (2025)

A Logic of Inability
di: Wang, Shanxia
Pubblicazione: (2026)

Stratifying Reinforcement Learning with Signal Temporal Logic
di: Curry, Justin, et al.
Pubblicazione: (2026)

TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory
di: Schewe, Klaus-Dieter, et al.
Pubblicazione: (2025)

Temporal Model On Quantum Logic
di: D'Agostino, Francesco
Pubblicazione: (2025)