pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis | Paper Citation Record

Observation de17ebcf-cb89-4de0-99be-74de2881bf97 · outbound

This paper cites Generalizing Safety Be- yond Collision-Avoidance via Latent-Space Reachability Analysis,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Generalizing Safety Be- yond Collision-Avoidance via Latent-Space Reachability Analysis,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:27.307043Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6633be34-e680-4fab-921b-37202d1f38ce · outbound

This paper cites Semantically Safe Robot Manipulation: From Semantic Scene Understanding to Motion Safeguards,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Semantically Safe Robot Manipulation: From Semantic Scene Understanding to Motion Safeguards,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:27.426816Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5c4933b-58e4-4208-b13c-8ae15db328e9 · outbound

This paper cites Autonomous COLREGs-compliant decision making using maritime radar tracking and model predictive control,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Autonomous COLREGs-compliant decision making using maritime radar tracking and model predictive control,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:27.508933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd8b472d-674c-4678-bf00-e1aa4e4a00e7 · outbound

This paper cites Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:27.643941Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff96e290-c7cc-44da-bd63-de8885df15f7 · outbound

This paper cites AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:27.811879Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 331722aa-14bb-460a-868f-cd1e95080469 · outbound

This paper cites Continuous-Time Control Synthesis Under Nested Signal Temporal Logic Specifications,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Continuous-Time Control Synthesis Under Nested Signal Temporal Logic Specifications,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:27.932644Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d9a5701-ae85-473d-84f9-f159199e21f1 · outbound

This paper cites Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:28.057934Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f49d93d-070b-4e23-a201-8249e96710cc · outbound

This paper cites Reinforcement learning with temporal logic rewards,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Reinforcement learning with temporal logic rewards,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:28.173189Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5a86ea2-0462-4347-95c6-c11e70091ed1 · outbound

This paper cites Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:28.303473Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abed02eb-8add-49b9-874f-2eee7206b385 · outbound

This paper cites Safe Control Under Uncertainty with Prob- abilistic Signal Temporal Logic,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Safe Control Under Uncertainty with Prob- abilistic Signal Temporal Logic,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:28.436375Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05de1846-3adb-4575-89cb-c549bbdec4da · outbound

This paper cites Control with Probabilistic Signal Temporal Logic.

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

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:28.566145Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8763d599-84cf-4c9c-89df-547bb185a220 · outbound

This paper cites Confor- mal Prediction for STL Runtime Verification,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Confor- mal Prediction for STL Runtime Verification,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:28.720047Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 361c8ce0-df2a-4f4b-bad6-79eadae6d4b3 · outbound

This paper cites A theory of the learnable,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis A theory of the learnable,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:28.879403Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 521e08a2-5688-4258-9574-cdc5e2ace7dc · outbound

This paper cites Interval Signal Tempo- ral Logic From Natural Inclusion Functions,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Interval Signal Tempo- ral Logic From Natural Inclusion Functions,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:28.984806Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecf43d33-0dae-4493-9c96-2840461bd82c · outbound

This paper cites Estimating Reachable Sets with Scenario Optimization,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Estimating Reachable Sets with Scenario Optimization,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:29.059246Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73fa140b-7dca-4f82-a6e3-2b98df52b2b3 · outbound

This paper cites Data-Driven Reachability with Scenario Optimization and the Holdout Method.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Data-Driven Reachability with Scenario Optimization and the Holdout Method

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:29.174206Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 993b4e00-c141-4754-8597-57ff461e0a09 · outbound

This paper cites Set Propagation Techniques for Reachability Analysis,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Set Propagation Techniques for Reachability Analysis,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:29.296145Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f736d53d-3dd6-4d56-85f6-8e7a3a2899f1 · outbound

This paper cites Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset- Conformant Identification,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset- Conformant Identification,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:29.365883Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4584ce1-a0e2-4342-84cc-07f7061ae2ed · outbound

This paper cites Data-Driven Reachability Analysis with Christoffel Functions,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Data-Driven Reachability Analysis with Christoffel Functions,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:29.437286Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f394ff21-f572-466c-9069-c1e632da2b2e · outbound

This paper cites NeuReach: Learning Reachability Functions from Simulations,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis NeuReach: Learning Reachability Functions from Simulations,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:29.527716Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a76fe014-babd-401b-88e0-50a3ac46efab · outbound

This paper cites Data-Driven Reachability Analysis for Gaussian Process State Space Models,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Data-Driven Reachability Analysis for Gaussian Process State Space Models,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:29.591173Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b55c7bdf-8a3f-40f8-b6de-17e58003cd15 · outbound

This paper cites Reachability-based safe learning with Gaussian processes,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Reachability-based safe learning with Gaussian processes,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:29.648341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd162fd0-ad31-4001-900e-f7dcdfd012f7 · outbound

This paper cites Nonconvex Scenario Op- timization for Data-Driven Reachability,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Nonconvex Scenario Op- timization for Data-Driven Reachability,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:29.740027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77413744-9ed1-4c1d-a14a-c7ee0acc18b2 · outbound

This paper cites Verification of neural reachable tubes via scenario optimization and conformal prediction,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Verification of neural reachable tubes via scenario optimization and conformal prediction,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:29.886380Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 61d25a97-1d1b-4b24-809a-319c5c48bd50 · outbound

This paper cites Scenario-Based Probabilistic Reach- able Sets for Recursively Feasible Stochastic Model Predictive Control,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Scenario-Based Probabilistic Reach- able Sets for Recursively Feasible Stochastic Model Predictive Control,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:29.987190Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1aef0691-29f8-450a-ba21-303d7224b77d · outbound

This paper cites Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:30.079420Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c72d877-2444-40da-a222-c3157164d275 · outbound

This paper cites Conformalized Reachable Sets for Obstacle Avoidance with Spheres,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Conformalized Reachable Sets for Obstacle Avoidance with Spheres,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:30.175574Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c5514c9-a20d-4086-bb5c-844c75ff1b9f · outbound

This paper cites Data-driven Reachability using Christoffel Functions and Conformal Prediction,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Data-driven Reachability using Christoffel Functions and Conformal Prediction,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:30.279882Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a3554f6-c1a5-4f54-b312-fcff93020f11 · outbound

This paper cites Data-Driven Reachability Analysis Using Matrix Zonotopes,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Data-Driven Reachability Analysis Using Matrix Zonotopes,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:30.376970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6f4f3b1-2bbf-4af1-8c52-82f8a45e83d1 · outbound

This paper cites Data- Driven Reachability Analysis From Noisy Data,.

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

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:30.439200Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b42066f-bfc6-4b10-abd3-b7b32c21aa56 · outbound

This paper cites Data-Driven Reachability Analysis for Nonlinear Systems,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Data-Driven Reachability Analysis for Nonlinear Systems,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:30.550372Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4862ad7-051f-474a-bc56-7b6990b16816 · outbound

This paper cites Two Space-Time Obstacle Repre- sentations Based on Ellipsoids and Polytopes,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Two Space-Time Obstacle Repre- sentations Based on Ellipsoids and Polytopes,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:30.643134Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad3b5020-76dc-410f-955b-87f9b8ec4be4 · outbound

This paper cites Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:30.746618Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cd43650-86da-46f8-833e-8c0d801eb642 · outbound

This paper cites A Tutorial on Conformal Prediction,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis A Tutorial on Conformal Prediction,

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:30.845072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a158342f-e8a9-4a86-a00a-03ad7cbb3e95 · outbound

This paper cites Formal Verification and Control with Conformal Prediction.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Formal Verification and Control with Conformal Prediction

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:30.910027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3968f75-4bcc-44ad-b366-4948a2f584b0 · outbound

This paper cites A Gentle Introduction to Conformal Prediction and Distribution-Free Uncertainty Quantification.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis A Gentle Introduction to Conformal Prediction and Distribution-Free Uncertainty Quantification

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:31.016285Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c080009-db61-42fb-952c-1d3f8bb152a6 · outbound

This paper cites V ovk, A.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis V ovk, A

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:31.119630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7f0bb23-eb96-4f25-bfed-43e1510b944b · outbound

This paper cites Scenario optimization,.

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

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:31.195017Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 425fd4b8-bac0-4b7a-a621-9b9224f9de95 · outbound

This paper cites A General Scenario Theory for Nonconvex Optimization and Decision Making,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis A General Scenario Theory for Nonconvex Optimization and Decision Making,

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:31.287780Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9acf4217-e54a-43d8-aa8a-b9e296327349 · outbound

This paper cites Non-convex scenario optimization,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Non-convex scenario optimization,

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:31.382079Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45b8892c-0256-4e6a-bf1f-057e282321dd · outbound

This paper cites Conformal Predic- tion in the Loop: Risk-Aware Control Barrier Functions for Stochastic Systems With Data-Driven State Estimators,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Conformal Predic- tion in the Loop: Risk-Aware Control Barrier Functions for Stochastic Systems With Data-Driven State Estimators,

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:31.459506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd3d0fe0-ee24-433b-8d1a-fae8aabf4a16 · outbound

This paper cites Safe Adaptive Cruise Control Under Perception Uncertainty: A Deep Ensemble and Conformal Tube Model Predictive Control Approach.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Safe Adaptive Cruise Control Under Perception Uncertainty: A Deep Ensemble and Conformal Tube Model Predictive Control Approach

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:31.559506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a85336bd-a94a-4260-b097-654321239d4f · outbound

This paper cites Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:31.639390Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bd22f82-7cef-4d37-b365-f41d238d288a · outbound

This paper cites Safe Planning in Dynamic Environments Using Conformal Prediction,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Safe Planning in Dynamic Environments Using Conformal Prediction,

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:31.730500Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a8d4b77-5edd-4234-b194-7700cf680f4a · outbound

This paper cites Safety-Critical Control with Un- certainty Quantification using Adaptive Conformal Prediction,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Safety-Critical Control with Un- certainty Quantification using Adaptive Conformal Prediction,

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:31.811659Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eced9243-c12b-4278-82e9-b9294615e642 · outbound

This paper cites Uncer- tainty quantification and robustification of model-based controllers using conformal prediction,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Uncer- tainty quantification and robustification of model-based controllers using conformal prediction,

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:31.918399Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a50221c-af4f-4183-ad7a-10b0ae69f11b · outbound

This paper cites The scenario approach to robust control design,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis The scenario approach to robust control design,

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:31.984537Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 892307f1-a7d4-45b2-9c89-f5d2ff01dcc2 · outbound

This paper cites Non-convex scenario optimization,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Non-convex scenario optimization,

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:32.061524Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f5dc6de-3131-4bd2-8e0f-6e8c241e0404 · outbound

This paper cites Scenario-Based Trajectory Optimization in Uncertain Dynamic Envi- ronments,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Scenario-Based Trajectory Optimization in Uncertain Dynamic Envi- ronments,

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:32.135912Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6f0ab7c-0cd7-423c-914c-78dbbb9875e4 · outbound

This paper cites Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification,

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:32.180411Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88ddd39f-e5b2-4a21-b764-53dc7b7dcfde · outbound

This paper cites Monitoring temporal properties of con- tinuous signals,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Monitoring temporal properties of con- tinuous signals,

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:32.275614Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ba4a03f-99d4-40f1-b6c4-755a32aa124e · outbound

This paper cites Robustness of temporal logic spec- ifications for continuous-time signals,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Robustness of temporal logic spec- ifications for continuous-time signals,

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:32.355027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d80642f-a94a-4c53-9160-9bccbb52d0a1 · outbound

This paper cites Incremental reasoning in probabilistic Signal Temporal Logic,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Incremental reasoning in probabilistic Signal Temporal Logic,

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:32.445730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0945bc02-d8a1-48ac-865b-75102f631335 · outbound

This paper cites Robust online monitoring of signal temporal logic,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Robust online monitoring of signal temporal logic,

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:32.551834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c37cf27e-7bda-499c-9cc9-f54bbf9a7039 · outbound

This paper cites STL Model Check- ing of Continuous and Hybrid Systems,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis STL Model Check- ing of Continuous and Hybrid Systems,

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:32.631344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e116c2d1-ca4d-4936-b9b9-ffed5ba3c7f6 · outbound

This paper cites Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis,

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:32.685422Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13b6eb44-158a-4bbe-98f4-eb548e202946 · outbound

This paper cites Model Predictive Robustness of Signal Temporal Logic Predicates,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Model Predictive Robustness of Signal Temporal Logic Predicates,

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:32.771395Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47a68279-cb66-4317-a828-560f898c9773 · outbound

This paper cites Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks,

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:32.853929Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2e59e43-fbf3-499f-bc0c-25a6695b4750 · outbound

This paper cites Signal Temporal Logic Neural Predictive Control,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Signal Temporal Logic Neural Predictive Control,

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:32.926849Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c699b0d4-172f-411f-b0ce-16f8cf936ae1 · outbound

This paper cites SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications,

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:32.985670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea2adff6-39ad-4b80-8483-e3dedb8bba8b · outbound

This paper cites Runtime Monitoring of Time Window Temporal Logic,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Runtime Monitoring of Time Window Temporal Logic,

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:33.051372Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd0e7789-c65f-4e8e-af64-cc4a67a1d96b · outbound

This paper cites Planning and Runtime Monitoring of Robotic Manipulator using Metric Interval Temporal Logic,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Planning and Runtime Monitoring of Robotic Manipulator using Metric Interval Temporal Logic,

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:33.143311Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9aa1515c-e583-457c-ad78-eccd39d0100f · outbound

This paper cites Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks,

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:33.211451Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation deda73fb-85ee-4538-9e93-9a308107f6df · outbound

This paper cites Temporal Logics for Learning and Detection of Anomalous Behavior,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Temporal Logics for Learning and Detection of Anomalous Behavior,

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:33.327088Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e2c60e7-8da0-4d94-b3ee-224ee341e092 · outbound

This paper cites Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic,

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:33.377679Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00abde7f-34a7-40d0-b017-e4159966c965 · outbound

This paper cites Falsification-driven reinforcement learning for maritime motion planning.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Falsification-driven reinforcement learning for maritime motion planning

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:33.447673Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c993f6b6-c879-40f1-98a0-6c8f149e1d56 · outbound

This paper cites Past- time Signal Temporal Logic Hybrid Switching Control for Underwater Vehicles,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Past- time Signal Temporal Logic Hybrid Switching Control for Underwater Vehicles,

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:33.507058Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e5c27a8-d352-4751-b015-3c79e2426d1d · outbound

This paper cites Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea,

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:33.665115Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2c64e28-dc79-4287-8048-4ed71a1ce395 · outbound

This paper cites Computation of Minimum-V olume Covering Ellipsoids,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Computation of Minimum-V olume Covering Ellipsoids,

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:33.912796Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29fae14e-5c08-455c-a274-9d9d5c36582f · outbound

This paper cites Computing the V olume of a Zonotope,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Computing the V olume of a Zonotope,

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:34.066211Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9130284-bc88-4628-bd52-4ffa4296ce52 · outbound

This paper cites Determinants and the volumes of paral- lelotopes and zonotopes,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Determinants and the volumes of paral- lelotopes and zonotopes,

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:34.293331Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac174581-2e8d-4335-89a5-27e32d778313 · outbound

This paper cites Convention on the International Regulations for Preventing Collisions at Sea, 1972 (COLREGs),.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Convention on the International Regulations for Preventing Collisions at Sea, 1972 (COLREGs),

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:34.454874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c386548-33a8-4462-a17b-bbab40aa47f6 · outbound

This paper cites Temporal Logic Formalization of Marine Traffic Rules,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Temporal Logic Formalization of Marine Traffic Rules,

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:34.612057Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5b22b52-048a-42b3-b8fe-4fea861b4f73 · outbound

This paper cites an unresolved cited work.

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

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:34.790230Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d60e203a-b45b-4bfd-8188-5ed0bf587659 · outbound

This paper cites Line-of-sight guidance for path following of marine vehicles,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Line-of-sight guidance for path following of marine vehicles,

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:35.044224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0e947d4-b5c4-4617-9749-d3e70f5c4df9 · outbound

This paper cites Provably Safe Reinforcement Learning: Conceptual Anal- ysis, Survey, and Benchmarking,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Provably Safe Reinforcement Learning: Conceptual Anal- ysis, Survey, and Benchmarking,

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:35.190769Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a80721d1-eef5-40d5-9eb6-37f476643878 · outbound

This paper cites Toward verified artificial intelligence,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Toward verified artificial intelligence,

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:35.331968Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc7048dc-9645-42d8-bab1-3ffcec3a138d · outbound

This paper cites Interval Signal Temporal Logic for Robust Optimal Control,.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Interval Signal Temporal Logic for Robust Optimal Control,

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:35.476505Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe3fc94e-0597-4bd4-ba92-aefa6a51fb56 · outbound

This paper cites Digital-physical testbed for ship autonomy studies in the Marine Cybernetics Laboratory basin.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Digital-physical testbed for ship autonomy studies in the Marine Cybernetics Laboratory basin

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:35.666915Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers