Pith. sign in

Paper Citation Record · LEDGER

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics

As of 23 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 3 inbound Pith citation observations for arXiv:2505.07594.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2505.07594 v1

Coverage vector

measured 61 of 61 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T22:27:32.830851Z

measured 64 of 64 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-12T16:31:14.185535Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-05-20T07:08:07.091047Z

Reference resolution

61 of 61 outbound references displayed

  • verified exact2
  • verified fuzzy48
  • unresolved11
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4ad5a3ed-2421-4e82-8233-caae85fa0622 · outbound

This paper cites an unresolved cited work.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Unresolved cited work

Reference 1

Resolution
unresolved
raw_fallback, observed 2026-08-15T22:27:33.809437Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.474099Z digest=sha256:cb91aaba6ce9563be3587e48452bf46a53051e6dc41039f15a8896b609f32c61

Observation 35700011-035e-4619-8d52-e374e873c9eb · outbound

This paper cites Near-optimal multi-agent learning for safe coverage control.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Near-optimal multi-agent learning for safe coverage control

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.798841Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.478724Z digest=sha256:0911ad7b15eac46a6be73fe10d5cfe4bcf16e9645d2ee0ea08f9ce339e2440d0

Observation 6898d5b4-5970-4a8a-a575-732c0090a573 · outbound

This paper cites Bayesian time series learning with Gaussian processes.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Bayesian time series learning with Gaussian processes

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.786729Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.482814Z digest=sha256:2cd5dfb90826a0927e18a46f83dfab69add26f948a2f8c89bf0484bb14d5b611

Observation 19216f7b-5d4e-4f8e-af34-e508d4d709c2 · outbound

This paper cites Performance- driven constrained optimal auto-tuner for MPC.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Performance- driven constrained optimal auto-tuner for MPC

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.775416Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.487653Z digest=sha256:c934b1262ebeaa590028aef8e209b7b1396843c37078e80705551ad0f7205f20

Observation 5a69d6b6-ec0a-4bc3-ae6e-081766735be1 · outbound

This paper cites Using model knowledge for learning inverse dynamics.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Using model knowledge for learning inverse dynamics

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.763319Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.491325Z digest=sha256:4db5e4cd4989e15e1370f2fbb03e61268ced7c471c49f40d8585342e3601f0d6

Observation e935b572-1a52-4bc0-8b9b-823469768359 · outbound

This paper cites Gaussian process regression for materials and molecules.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Gaussian process regression for materials and molecules

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.752336Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.495041Z digest=sha256:34c2571ec34512f0bec54489ebb0ff6b2b53466e3f0c47e538b35389db69d7fa

Observation 3df66a9c-426f-473d-a488-b1913fa3bdb5 · outbound

This paper cites Online learning for linearly parametrized control problems.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Online learning for linearly parametrized control problems

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.740288Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.498791Z digest=sha256:fcbb1bcb0b0e01317f7e7cc10073ed81485533223041b74a5eede3718d97f525

Observation 630e1a12-0a3a-4413-8201-838d74f4d1f7 · outbound

This paper cites Information-theoretic regret bounds for gaussian process optimization in the bandit setting.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Information-theoretic regret bounds for gaussian process optimization in the bandit setting

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.727828Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.502434Z digest=sha256:0cbb2fce831f53047a49888387837eff5cb108a8453760eed620a362b0582a1f

Observation c4c572c2-07c7-4eb9-8ab4-1b4fd03954de · outbound

This paper cites A Tutorial on Bayesian Optimization.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics A Tutorial on Bayesian Optimization

Reference 9

Resolution
unresolved
no resolver link, observed 2026-08-15T22:27:32.506105Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T22:27:32.506105Z digest=sha256:160aba6d834ffeef906a65052a370d7bfa60bbeed61bbfa32e6a87f27b8843e0

Observation 90ca19f5-989d-4827-bed9-6fe2a1111c2f · outbound

This paper cites Submodular reinforcement learning.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Submodular reinforcement learning

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.716311Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.510334Z digest=sha256:d54f89a2ce18c2281b97402a9c1a83427a66565822c0d5109dfadfd6d49342c5

Observation 0663a017-ccaf-4edc-bb9a-cdc4c964bc49 · outbound

This paper cites Uniform error bounds for gaussian process regression with application to safe control.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Uniform error bounds for gaussian process regression with application to safe control

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.705058Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.515141Z digest=sha256:6051957a18bb2ddcd3af0ea2d4c1a0e39f7f4d83b05c746e4e9d2a815903fbc7

Observation 50ec7001-a539-4ad0-ae31-dd4c51f6362c · outbound

This paper cites Safe guaranteed exploration for non-linear systems.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Safe guaranteed exploration for non-linear systems

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.693264Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.519118Z digest=sha256:4f44fb9d2be82efb5ebbede59b9a2afc17949eae90c77789c78c3dffe54c2514

Observation 8ce46598-0b0e-4ade-929a-50794c967dd5 · outbound

This paper cites Ostafew, Angela P.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Ostafew, Angela P

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.681290Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.522900Z digest=sha256:3676de278bba88e13c5b80fa88bfcf4e4629bd87d19da36e3761d3f39b8f267b

Observation ed3f85de-d6d4-46db-93b5-f16de13adcae · outbound

This paper cites Lai, and Fakhrul Alam.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Lai, and Fakhrul Alam

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.667397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.526609Z digest=sha256:f975d6359a76adc6b9cfaa8162f220083f81f8ebfe1b4b2b26305a778ed2edb0

Observation 0c837786-091d-4b27-9ecf-b10cfcfec0d8 · outbound

This paper cites Zeilinger.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Zeilinger

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.656008Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.530307Z digest=sha256:19cd987120fa489519013e314f7a44258c0f7e290d70fa711ac093d052094629

Observation aca8c889-0659-4107-a90e-5a0d4eaf3560 · outbound

This paper cites Gaussian processes for dynamics learning in model predictive control.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Gaussian processes for dynamics learning in model predictive control

Reference 16

Resolution
unresolved
no resolver link, observed 2026-08-15T22:27:32.534387Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T22:27:32.534387Z digest=sha256:4322a0fbd9cfcdaec2aea3be997636d5337f69e1f039aa26800f04dbb9d19aed

Observation 20b2e31d-3537-4f26-afbb-7446982bdf8c · outbound

This paper cites Friction- Adaptive Stochastic Predictive Control for Trajectory Tracking of Autonomous Vehicles.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Friction- Adaptive Stochastic Predictive Control for Trajectory Tracking of Autonomous Vehicles

Reference 17

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.643817Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.538712Z digest=sha256:6c787939520221a7669176f263d4e19deeee0738f647e57319edc7c3c871641a

Observation 5f63b626-7041-4e12-a6c5-ebda23bb194d · outbound

This paper cites Girard, J.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Girard, J

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.631481Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.542646Z digest=sha256:6e08ac712d7f888e20f5cc1568847bdc008e27f72c672c6f1f03d34d0096d938

Observation b67d6c31-205e-4c82-b0af-7e56c7561a38 · outbound

This paper cites Marruedo, T.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Marruedo, T

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.620740Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.546526Z digest=sha256:18946acda0db74ffcd7e7d02442a919659e4769f58e8b160daa79a8ba2212cfb

Observation b5ffa18d-4b86-4681-98b5-984effbe0d1c · outbound

This paper cites Robust adaptive MPC using control contraction metrics.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Robust adaptive MPC using control contraction metrics

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.610346Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.550124Z digest=sha256:698e500d7b74ba9db2303a7b33b6255088c7087e36a20503890d908637fb724a

Observation e2de93b4-523b-48e8-8e56-453e0516d62e · outbound

This paper cites Villanueva.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Villanueva

Reference 21

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.599319Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.553818Z digest=sha256:d2d0e54a2846cdb8a0788a39b3fa4e2348c98fe04164f2841bf79e242038a363

Observation b86774b6-cc57-4d77-9933-3ec83f6fb7cb · outbound

This paper cites Learning-Based Model Predictive Control for Safe Exploration.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Learning-Based Model Predictive Control for Safe Exploration

Reference 22

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.588254Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.558177Z digest=sha256:1133f8714799b82f6d5e9b0abcb91bb10e909dd6155bc8d3ba61effe2847bee7

Observation 9f62eb1a-dfe6-4cf3-aa11-b3d77eae826f · outbound

This paper cites Robust multi-stage nonlinear model predictive control.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Robust multi-stage nonlinear model predictive control

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.577029Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.561882Z digest=sha256:ed5918e919fa5cfbf3b6993e65044ee62bc3a33c4344c4544db801f636ee998b

Observation b1450357-8cba-40f3-bf37-aef03da0dc02 · outbound

This paper cites The scenario approach to robust control design.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics The scenario approach to robust control design

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.564793Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.565730Z digest=sha256:769eeffbeb8956f7ff83c1a9444105a2b670a0d8127c1f9071b8010a951bae25

Observation 05ae4472-3ad7-4a8f-a7c0-a16e59e4dda8 · outbound

This paper cites A simple and efficient sampling-based algorithm for general reachability analysis.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics A simple and efficient sampling-based algorithm for general reachability analysis

Reference 25

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.550795Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.569658Z digest=sha256:4d1ecd216579a964e3146e4131db66ed28e01c395f5e34086ffaa89f4e7f1970

Observation 95e5f5e7-0f6a-4606-910e-f9c486d4602b · outbound

This paper cites Aggressive driving with model predictive path integral control.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Aggressive driving with model predictive path integral control

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.537704Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.573718Z digest=sha256:67b97322245376d759ea34d0d7c61ac05b1bde029da61bc82cc9601496ab910e

Observation 74b0f6b0-85bb-46c8-91fc-71d45c0e5ead · outbound

This paper cites Bonzanini, Joel A.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Bonzanini, Joel A

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.523423Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.577395Z digest=sha256:29e795e1e05cf8497a9e252a3131df934e93ce7bdb3641561a5d444002abd3b8

Observation 5fbf1f4d-f397-42ea-8279-3f8e9d4a4ea7 · outbound

This paper cites Sampling-based reachability analysis: A random set theory approach with adversarial sampling.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Sampling-based reachability analysis: A random set theory approach with adversarial sampling

Reference 28

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.510820Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.582700Z digest=sha256:7b3e1ba0a124083639b6d8f092d232e3b68f59a0f528987b94b56f542a96c2b2

Observation 94d0ff64-dd94-446d-b762-2bddacb0c1ae · outbound

This paper cites Formal Verification and Control with Conformal Prediction.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Formal Verification and Control with Conformal Prediction

Reference 29

Resolution
unresolved
no resolver link, observed 2026-08-15T22:27:32.586871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T22:27:32.586871Z digest=sha256:2b5c001539e8a12f6a82ce85545dd863de06afe62e474dfcf43fe2bbaff73e32

Observation c157c6e2-9254-4623-9b4b-1554290228f7 · outbound

This paper cites Estimating reachable sets with scenario optimization.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Estimating reachable sets with scenario optimization

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.498244Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.591422Z digest=sha256:996039475721fac00046dd3428d58b836f48364de2d7678b8040756166b093f2

Observation 62f3a3f9-8f3c-4f6f-9aaf-90ffa1decef3 · outbound

This paper cites Scenario-based Optimal Control for Gaussian Process State Space Models.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Scenario-based Optimal Control for Gaussian Process State Space Models

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.486105Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.595204Z digest=sha256:1daed9bb4f296304c1bd27627950d514b7535fa8db15cfc79214c52f47b5f760

Observation 679599f1-83e3-435b-8544-9ed9923dd589 · outbound

This paper cites Campi, Simone Garatti, and Maria Prandini.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Campi, Simone Garatti, and Maria Prandini

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.473790Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.598987Z digest=sha256:c70157146ef50f5342027ca25d613def0632e197e204cc0d03a1e60204444653

Observation 41d2683f-a482-4e4f-8d07-ecdd78aa0d15 · outbound

This paper cites The risk of making decisions from data through the lens of the scenario approach.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics The risk of making decisions from data through the lens of the scenario approach

Reference 33

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.461999Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.602649Z digest=sha256:bb19fdcaf898acbf1cd3e3674ba8e74e63d98cb37869621cc3b0af73159066e0

Observation 822bb13c-6bc7-456d-90b1-7c81560c007b · outbound

This paper cites Learning-based optimal control with performance guarantees for unknown systems with latent states.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Learning-based optimal control with performance guarantees for unknown systems with latent states

Reference 34

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.450015Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.606541Z digest=sha256:49b14e1f9f03599d5b7f1927feec83b80c51e86b980adac6edc01da065813936

Observation 5435be41-b1c1-4ba6-ad02-6aff97f4b5a7 · outbound

This paper cites Zeilinger.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Zeilinger

Reference 35

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.437130Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.610123Z digest=sha256:73d28eaa63364fe65277a73f7c5131cf4a50be7d587cc03aa8cd28c26017564f

Observation c4fd4514-053e-410c-a489-b89932a81492 · outbound

This paper cites On the likelihood that one unknown probability exceeds another in view of the evidence of two samples.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics On the likelihood that one unknown probability exceeds another in view of the evidence of two samples

Reference 36

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.425113Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.730923Z digest=sha256:f444d4d7f66a3b971bee9bd7ce9003af2a150a561a537c8f32317c39b9970d09

Observation ecb364ca-247b-468b-b42e-d219f6022dde · outbound

This paper cites Scalable thompson sampling using sparse gaussian process models.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Scalable thompson sampling using sparse gaussian process models

Reference 37

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.413287Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.735723Z digest=sha256:ec16dc9671105e1f42b2d079fdc18f4dae7260f3fec4003d4f7dd6b55482dfe4

Observation 908d51ae-a021-4403-b40e-fc6fce8916eb · outbound

This paper cites Li and Q.-M.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Li and Q.-M

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.401151Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.739606Z digest=sha256:52fa21bb4cf911d16e68eb06f26b1fa6b8a64ad8f7b56cd1839ff1dcc1cda025

Observation fe560593-f227-4400-adbb-9a398a34b3ab · outbound

This paper cites Some small ball probabilities for gaussian processes under nonuniform norms.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Some small ball probabilities for gaussian processes under nonuniform norms

Reference 39

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.387201Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.743611Z digest=sha256:371c71905689ced561f95ab0dfd84a06af57af7192b6166ffd8b8c4e339a3699

Observation 496580a2-7e72-479d-87ca-b85bb20bb5b3 · outbound

This paper cites Information rates of nonparametric gaussian process methods.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Information rates of nonparametric gaussian process methods

Reference 40

Resolution
unresolved
no resolver link, observed 2026-08-15T22:27:32.747339Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T22:27:32.747339Z digest=sha256:c5816c8fdee92fc3961e12aba85d045a504530be688b4ec2fb1d920494029ccd

Observation 4cd7e375-236a-4218-a896-21d27cf375d8 · outbound

This paper cites Stochastic model predictive control for sub-gaussian noise.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Stochastic model predictive control for sub-gaussian noise

Reference 41

Resolution
unresolved
no resolver link, observed 2026-08-15T22:27:32.750917Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T22:27:32.750917Z digest=sha256:ef19474218cd83979faa36b9b4bbe761f601cf57bc08aba3dd90aa7d9b4fa701

Observation 907c19d3-d6b8-434b-9e95-600838fdb1f7 · outbound

This paper cites Gaussian Processes and Kernel Methods: A Review on Connections and Equivalences.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Gaussian Processes and Kernel Methods: A Review on Connections and Equivalences

Reference 42

Resolution
unresolved
no resolver link, observed 2026-08-15T22:27:32.754572Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T22:27:32.754572Z digest=sha256:773bef0ec22c8d2231e84a4a2fd15e27a2c5be9fe9864cbab4c35603c2b46415

Observation f4a15168-02c5-4b65-b275-4164912aef93 · outbound

This paper cites Approximation, metric entropy and small ball estimates for gaussian measures.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Approximation, metric entropy and small ball estimates for gaussian measures

Reference 43

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.367350Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.758639Z digest=sha256:f7f2c0e3448199e6c59c329c0f248fdea780bc64d0ec64793c72b6d2d21f5dc7

Observation ffb1a60d-ecab-4e1c-9bfd-13bfa0e5110a · outbound

This paper cites Metric entropy and the small ball problem for gaussian measures.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Metric entropy and the small ball problem for gaussian measures

Reference 44

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.354744Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.762806Z digest=sha256:0c7e4d61dbe8d169de8900e14f084ec30dd92df2c56428e2a293495bbf7ac6df

Observation 0b695254-2308-404b-820f-efc7b30c5c11 · outbound

This paper cites Reproducing kernel hilbert spaces of gaussian priors.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Reproducing kernel hilbert spaces of gaussian priors

Reference 45

Resolution
unresolved
no resolver link, observed 2026-08-15T22:27:32.766739Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T22:27:32.766739Z digest=sha256:1efb6936f36852dd49e4abd828fa64513bd725d6e0d94a7f7c39caaad266e5a4

Observation 8f14140b-381a-4ee8-8629-388a89f7b869 · outbound

This paper cites Lipschitz and H\"older Continuity in Reproducing Kernel Hilbert Spaces.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Lipschitz and H\"older Continuity in Reproducing Kernel Hilbert Spaces

Reference 46

Resolution
unresolved
no resolver link, observed 2026-08-15T22:27:32.770525Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T22:27:32.770525Z digest=sha256:6ef1aae72a8d12c960012d0709f599dbe6a76ba61956e70507025c02df93f7fd

Observation 15ff8206-a0ba-4c40-89b3-2b648064a652 · outbound

This paper cites Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization

Reference 47

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.332394Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.774688Z digest=sha256:2f6ffad6c10a6ac88363a2832be67a2c1b481abce4b6705c7bdd2a97bc9159e9

Observation 841a8340-6606-4058-902c-7fca199ca8c7 · outbound

This paper cites Robust mpc of constrained nonlinear systems based on interval arithmetic.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Robust mpc of constrained nonlinear systems based on interval arithmetic

Reference 48

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.318623Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.778416Z digest=sha256:0817240121970ccd85ca4cdb1c1375ba5f2f7338392b1519f56c1ffcc9c174bd

Observation 2597da37-2fcd-45bb-9377-a45aba77bb7a · outbound

This paper cites Predictive control for nonlinear stochastic systems: Closed-loop guarantees with unbounded noise.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Predictive control for nonlinear stochastic systems: Closed-loop guarantees with unbounded noise

Reference 49

Resolution
verified exact
local_arxiv, observed 2026-08-15T22:27:33.055551Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.783055Z digest=sha256:5215702c7cd11b50f1310e90b14082c955602e5b8a54f2e67c3666585143f3cc

Observation 264b0b0f-8c5d-4abb-8caa-b8ec48bf898a · outbound

This paper cites Safety Verification of Nonlinear Stochastic Systems via Probabilistic Tube.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Safety Verification of Nonlinear Stochastic Systems via Probabilistic Tube

Reference 50

Resolution
verified exact
local_arxiv, observed 2026-08-15T22:27:33.038352Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.787214Z digest=sha256:13c211f8868c430f8c82f7f56fc156ef7f5875891e7c9ff05273f4cabfbeae85

Observation d5a7366a-f4b9-4378-9b16-68660989685a · outbound

This paper cites Mayne, and Moritz Diehl.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Mayne, and Moritz Diehl

Reference 51

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.303762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.791141Z digest=sha256:cff073364a701e5299753209a312e8cd6ce8a893f7c748c30039b0f9f919957e

Observation 90799730-cf90-49a7-afff-66f79b9d5b29 · outbound

This paper cites Sample path regularity of gaussian processes from the covariance kernel.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Sample path regularity of gaussian processes from the covariance kernel

Reference 52

Resolution
unresolved
no resolver link, observed 2026-08-15T22:27:32.795113Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T22:27:32.795113Z digest=sha256:cabeef87153eba1ddfa932e521165b553312f5cbdd995808ce4c52b92bb91b22

Observation 423c74a5-1a31-4233-95f5-894695c138ca · outbound

This paper cites Multi- stage nonlinear model predictive control applied to a semi- batch polymerization reactor under uncertainty.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Multi- stage nonlinear model predictive control applied to a semi- batch polymerization reactor under uncertainty

Reference 53

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.291129Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.798712Z digest=sha256:57f0ef68b692c22c4675d5b95dc63176dfccad090e961a752b4e29bc3c9c6a83

Observation c035b8bd-9684-4398-b2ee-88e515f53d7b · outbound

This paper cites Rawlings, and David Angeli.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Rawlings, and David Angeli

Reference 54

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.278544Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.803205Z digest=sha256:aa34f5b6214ad4afcb5227791866033ce94d4ee180cab5cc713004624cbb9b10

Observation 8ea7e376-4a32-4319-b13f-b67387f25751 · outbound

This paper cites Economic nonlinear model predictive control.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Economic nonlinear model predictive control

Reference 55

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.266772Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.807385Z digest=sha256:c7f29d25827e4709285fc352cff9f12ac2bffa5a603423d8032fc9cbcbb45b58

Observation ec47b243-6efb-4a01-937a-88de5361162f · outbound

This paper cites Acados—a modular open-source framework for fast embedded optimal control.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Acados—a modular open-source framework for fast embedded optimal control

Reference 56

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.254982Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.811748Z digest=sha256:b392b7d26e75779edca8396ec98e850387696069e90cf9a99a6a407f18608f62

Observation 724d9b23-5176-4b5e-84c2-7ff473f03163 · outbound

This paper cites an unresolved cited work.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Unresolved cited work

Reference 57

Resolution
unresolved
raw_fallback, observed 2026-08-15T22:27:33.241880Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.815495Z digest=sha256:70a34a9f82a6d137b2a749534438429100d74a62cb44cc9d903033fb0542a0e9

Observation ab101d72-bf86-4b3f-9e4c-955b83d550ee · outbound

This paper cites GPyTorch: Blackbox Matrix- Matrix Gaussian Process Inference with GPU Acceleration.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics GPyTorch: Blackbox Matrix- Matrix Gaussian Process Inference with GPU Acceleration

Reference 58

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.230056Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.819298Z digest=sha256:47b8d620a8c956a3d71f24047935cbf17ac6555b0c7c637e740bf6cea6a6ffbb

Observation 141bc70b-7c75-48bb-a8ae-7f81b679e492 · outbound

This paper cites A nonlinear model predictive control framework using reference generic terminal ingredients.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics A nonlinear model predictive control framework using reference generic terminal ingredients

Reference 59

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.217826Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.823052Z digest=sha256:8dd73498a5393d1b6aab5831485a283d3920a366043456655913617a7fad3e66

Observation e8bcf6b4-fc66-48b7-95c2-60ed34c21238 · outbound

This paper cites Test track for a severe lane-change manoeuvre–part 2: Obstacle avoidance.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Test track for a severe lane-change manoeuvre–part 2: Obstacle avoidance

Reference 60

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.205139Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.827291Z digest=sha256:079dcb36b6af42a73e77c233a4b288286e26657dfc5c1d63c13b4d19f5e279f3

Observation b3ad9b64-0f16-4786-ade2-5803569b72d9 · outbound

This paper cites The integral of a symmetric unimodal function over a symmetric convex set and some probability inequalities.

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics The integral of a symmetric unimodal function over a symmetric convex set and some probability inequalities

Reference 61

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T22:27:33.191476Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-08-15T22:27:32.830851Z digest=sha256:24352ff052768bc6a20fb9cf617be2e18c74ff36f0ff11d513e285784d799f56

Pith citing papers

Observation 6ec39003-67cc-41a1-8c06-5ca1b8776604 · inbound

A robust and adaptive MPC formulation for Gaussian process models cites this paper.

A robust and adaptive MPC formulation for Gaussian process models Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics

Reference 44

Resolution
verified exact
arxiv_id, observed 2026-05-19T05:42:06.132957Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-05-19T05:39:47.220725Z digest=sha256:d330b65e844dd38f6fb0bbff07bdad25191f5fabd82d6c22e00e520a9534b487

Observation 2de7a886-b886-4b57-b530-5def608fb5bd · inbound

Optimal airfoils in the intermediate Reynolds number range cites this paper.

Optimal airfoils in the intermediate Reynolds number range Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics

Reference 44

Resolution
unresolved
no resolver link, observed 2026-07-12T16:31:14.185535Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-12T16:31:14.185535Z digest=sha256:3e3070ddb6b60aa95c3e573eac936b50c49396c42636f41173beedc9cfd09a52

Observation e89d3813-fa9a-48ba-a178-b201b36b336a · inbound

Sampling-Based Safe Reinforcement Learning cites this paper.

Sampling-Based Safe Reinforcement Learning Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics

Reference 44

Resolution
verified exact
arxiv_id, observed 2026-05-20T07:08:07.092866Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-05-20T07:05:38.278598Z digest=sha256:b13c75c8f32b6d2da85e093cef109c9abca4c6d45798c5c45ad3c018f96cf889