Imagen de Portada

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Hadjiloizou, Loizos, Jiang, Frank J., Alanwar, Amr, Johansson, Karl H.
Formato:	Preprint
Publicado:	2024
Materias:	Systems and Control Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
por: Hafez, Ahmad, et al.
Publicado: (2024)

Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
por: Alanwar, Amr, et al.
Publicado: (2023)

pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
por: Arfvidsson, Kaj Munhoz, et al.
Publicado: (2025)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
por: Kochdumper, Niklas, et al.
Publicado: (2023)

Hybrid Polynomial Zonotopes: A Set Representation for Reachability Analysis in Hybrid Nonaffine Systems
por: Xie, Peng, et al.
Publicado: (2025)

Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares
por: Akhormeh, Alireza Naderi, et al.
Publicado: (2025)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
por: Zhao, Yiqi, et al.
Publicado: (2025)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
por: Gu, Chao, et al.
Publicado: (2020)

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

Robust Data-Driven Tube-Based Zonotopic Predictive Control with Closed-Loop Guarantees
por: Farjadnia, Mahsa, et al.
Publicado: (2024)

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

Barrier Certificates for Uncertain Temporal Specifications
por: Mamduhi, Mohammad H., et al.
Publicado: (2026)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
por: Thompson, Andrew F., et al.
Publicado: (2026)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
por: Engelaar, Maico H. W., et al.
Publicado: (2024)

Orthogonal Transformations for Efficient Data-Driven Reachability Analysis
por: Xie, Peng, et al.
Publicado: (2026)

Data-Driven Nonconvex Reachability Analysis using Exact Multiplication
por: Zhang, Zhen, et al.
Publicado: (2025)

Inclusion conditions for the Constrained Polynomial Zonotopic case
por: Gheorghe, Bogdan, et al.
Publicado: (2026)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
por: Hafez, Ahmad, et al.
Publicado: (2025)

Data-Driven Nonconvex Reachability Analysis using Exact Set Propagation
por: Zhang, Zhen, et al.
Publicado: (2026)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
por: Murali, Vishnu, et al.
Publicado: (2026)

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
por: Arfvidsson, Kaj Munhoz, et al.
Publicado: (2024)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
por: Oumer, Mohammed Adib, et al.
Publicado: (2025)

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems
por: Sidrane, Chelsea, et al.
Publicado: (2024)

Data-Driven Reachability Analysis Using Matrix Perturbation Theory
por: Xie, Peng, et al.
Publicado: (2026)

Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic
por: Kurpiewski, Damian, et al.
Publicado: (2025)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
por: Edwards, Alec, et al.
Publicado: (2023)

Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition
por: Siefert, Jacob A., et al.
Publicado: (2023)

From Points to Sets: Set-Based Safety Verification in the Latent Space
por: Wu, Wenyuan, et al.
Publicado: (2026)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
por: Ramirez, Miquel, et al.
Publicado: (2024)

Stochastic Omega-Regular Verification and Control with Supermartingales
por: Abate, Alessandro, et al.
Publicado: (2024)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
por: Henzinger, Thomas A., et al.
Publicado: (2025)

Fixed Point Certificates for Reachability and Expected Rewards in MDPs
por: Chatterjee, Krishnendu, et al.
Publicado: (2025)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
por: Schön, Oliver, et al.
Publicado: (2023)

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
por: Sidrane, Chelsea, et al.
Publicado: (2025)

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

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
por: Ren, Wei, et al.
Publicado: (2024)

Data-Driven Reachability Analysis with Optimal Input Design
por: Xie, Peng, et al.
Publicado: (2026)

Data-Driven Reachability Analysis for Piecewise Affine Systems
por: Xie, Peng, et al.
Publicado: (2025)

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
por: Zhou, Yuhao, et al.
Publicado: (2023)

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