Image de couverture de livre

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Dietrich, Elizabeth, Krasowski, Hanna, Gezer, Emir Cem, Skjetne, Roger, Sørensen, Asgeir Johan, Arcak, Murat
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Robotics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison
par: Dietrich, Elizabeth, et autres
Publié: (2026)

Symbolic Control for Autonomous Docking of Marine Surface Vessels
par: Dietrich, Elizabeth, et autres
Publié: (2025)

Maneuvering-based Dynamic Thrust Allocation for Fully-Actuated Vessels
par: Gezer, Emir Cem, et autres
Publié: (2025)

Learning Biomolecular Models using Signal Temporal Logic
par: Krasowski, Hanna, et autres
Publié: (2024)

GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning
par: Chevallier, Mark, et autres
Publié: (2025)

Importance Sampling for Statistical Certification of Viable Initial Sets
par: Dietrich, Elizabeth, et autres
Publié: (2026)

STL-based Optimization of Biomolecular Neural Networks for Regression and Control
par: Palanques-Tost, Eric, et autres
Publié: (2025)

Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*)
par: Ghorbel, Bassem, et autres
Publié: (2024)

Digital-physical testbed for ship autonomy studies in the Marine Cybernetics Laboratory basin
par: Gezer, Emir Cem, et autres
Publié: (2025)

Dependence Logics in Temporal Settings
par: Baltag, Alexandru, et autres
Publié: (2022)

Risk-Aware Obstacle Avoidance Algorithm for Real-Time Applications
par: Kaya, Ozan, et autres
Publié: (2026)

Learning to Drive by Imitating Surrounding Vehicles
par: Sonmez, Yasin, et autres
Publié: (2025)

Data-Driven Reachability with Scenario Optimization and the Holdout Method
par: Dietrich, Elizabeth, et autres
Publié: (2025)

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
par: Melani, Beatrice, et autres
Publié: (2025)

Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis
par: Besset, Antoine, et autres
Publié: (2025)

Cumulative-Time Signal Temporal Logic
par: Chen, Hongkai, et autres
Publié: (2025)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
par: Lyon, Tim S., et autres
Publié: (2026)

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
par: Zhao, Yiqi, et autres
Publié: (2025)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
par: Kochdumper, Niklas, et autres
Publié: (2023)

mstlo: Efficient Online Monitoring of Signal Temporal Logic
par: Thomsen, Andreas Kaag, et autres
Publié: (2026)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
par: Hadjiloizou, Loizos, et autres
Publié: (2024)

Intelligent Sailing Model for Open Sea Navigation
par: Krasowski, Hanna, et autres
Publié: (2025)

Guarded Successor: A Novel Temporal Logic
par: Asor, Ohad
Publié: (2024)

A Linear Temporal Logic of Frequencies on Series of Events
par: Antonelli, Melissa, et autres
Publié: (2026)

On the Metric Temporal Logic for Continuous Stochastic Processes
par: Ikeda, Mitsumasa, et autres
Publié: (2023)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
par: Hafez, Ahmad, et autres
Publié: (2024)

Tho Modal Logic of Minimal Upper Bounds
par: Knudstorp, Søren Brinck
Publié: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
par: Afshari, Bahareh, et autres
Publié: (2024)

A Cegar-centric Bounded Reachability Analysis for Compositional Affine Hybrid Systems
par: Kundu, Atanu, et autres
Publié: (2025)

Measures on bounded perfect PAC fields
par: Chatzidakis, Zoé, et autres
Publié: (2025)

Classification Theory and the Construction of PAC Fields
par: Ramsey, Nicholas
Publié: (2026)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
par: Ma, Zhifeng, et autres
Publié: (2024)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
par: Meng, Yue, et autres
Publié: (2025)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
par: Kapoor, Parv, et autres
Publié: (2024)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
par: Meng, Yue, et autres
Publié: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
par: Lin, Yuanfei, et autres
Publié: (2022)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
par: Gu, Chao, et autres
Publié: (2020)

Conformal Signal Temporal Logic for Robust Reinforcement Learning Control: A Case Study
par: Beirami, Hani, et autres
Publié: (2026)

Interleaving Logic and Counting
par: van Benthem, Johan, et autres
Publié: (2025)

Local-Order-Invariant Logic on Classes of Bounded Degree
par: Aoki, Derek
Publié: (2025)