Copertina

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Roop, Partha, Chatterjee, Sobhan, Malik, Avinash, Allen, Nathan, Kenwright, Logan
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Formal Languages and Automata Theory Computation and Language
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
di: Kim, Moon, et al.
Pubblicazione: (2025)

Logical Synchrony Networks: A formal model for deterministic distribution
di: Kenwright, Logan, et al.
Pubblicazione: (2024)

Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis
di: Besset, Antoine, et al.
Pubblicazione: (2025)

Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs
di: Latif, Saba, et al.
Pubblicazione: (2025)

RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
di: Fang, Yue, et al.
Pubblicazione: (2025)

Trading Determinism for Noncommutativity in Edmonds' Problem
di: Arvind, V., et al.
Pubblicazione: (2024)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
di: Ma, Liqian, et al.
Pubblicazione: (2025)

Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
di: Bizière, Clotilde, et al.
Pubblicazione: (2024)

SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
di: Quansah, Paapa Kwesi, et al.
Pubblicazione: (2026)

Temporal Causal Models as a Model of Computation
di: Gladyshev, Maksim, et al.
Pubblicazione: (2026)

Deciding Subtyping for Asynchronous Multiparty Sessions
di: Li, Elaine, et al.
Pubblicazione: (2024)

On Decidability and Expressive Power of Fusion Grammars
di: Pshenitsyn, Tikhon
Pubblicazione: (2023)

On Decidability Timed Automata with 2 Parametric Clocks
di: Bersani, Marcello M., et al.
Pubblicazione: (2025)

Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
di: Guha, Shibashis, et al.
Pubblicazione: (2026)

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow
di: Lin, Xuan, et al.
Pubblicazione: (2024)

Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic
di: Yuasa, Mikihisa, et al.
Pubblicazione: (2025)

TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
di: Akshay, S., et al.
Pubblicazione: (2025)

Compositional Abstraction for Timed Systems with Broadcast Synchronization
di: Chen, Hanyue, et al.
Pubblicazione: (2025)

Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers
di: Gallot, Paul, et al.
Pubblicazione: (2023)

Deciding whether an Attributed Translation can be realized by a Top-Down Transducer
di: Maneth, Sebastian, et al.
Pubblicazione: (2023)

General Decidability Results for Systems with Continuous Counters
di: Balasubramanian, A. R., et al.
Pubblicazione: (2025)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
di: Barloy, Corentin, et al.
Pubblicazione: (2025)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
di: Eichler, Paul, et al.
Pubblicazione: (2024)

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems
di: Han, Xiaoguang, et al.
Pubblicazione: (2024)

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable
di: Czerwiński, Wojciech, et al.
Pubblicazione: (2022)

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
di: Fränzle, Martin, et al.
Pubblicazione: (2024)

Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal
di: Mahe, Erwan, et al.
Pubblicazione: (2024)

Positional Properties in Temporal Logic
di: Newman, Jessica, et al.
Pubblicazione: (2026)

Robust Probabilistic Temporal Logics
di: Zimmermann, Martin
Pubblicazione: (2023)

Decidability Problems for Micro-Stipula
di: Delzanno, Giorgio, et al.
Pubblicazione: (2025)

Conservative Perception Models for Probabilistic Verification
di: Cleaveland, Matthew, et al.
Pubblicazione: (2025)

Counting Abstraction for the Verification of Structured Parameterized Networks
di: Bozga, Marius, et al.
Pubblicazione: (2025)

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
di: Yu, Pian, et al.
Pubblicazione: (2025)

Determinization of Min-Plus Weighted Automata is Decidable
di: Almagor, Shaull, et al.
Pubblicazione: (2025)

Characterization and Decidability of FC-Definable Regular Languages
di: Thompson, Sam M., et al.
Pubblicazione: (2025)

Negated String Containment is Decidable (Technical Report)
di: Havlena, Vojtěch, et al.
Pubblicazione: (2025)

On-the-fly Unfolding with Optimal Exploration for Linear Temporal Logic Model Checking of Concurrent Software and Systems
di: Li, Shuo, et al.
Pubblicazione: (2023)

Deciding the synthesis problem for hybrid games through bisimulation
di: Dima, Catalin, et al.
Pubblicazione: (2024)

Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields
di: Bell, Jason P., et al.
Pubblicazione: (2022)

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