Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T22:27:32.830851Z
Paper Citation Record · LEDGER
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.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T22:27:32.830851Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-07-12T16:31:14.185535Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-05-20T07:08:07.091047Z
61 of 61 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 4ad5a3ed-2421-4e82-8233-caae85fa0622 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Unresolved cited work
Reference 1
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.
Observation 35700011-035e-4619-8d52-e374e873c9eb · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Near-optimal multi-agent learning for safe coverage control
Reference 2
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.
Observation 6898d5b4-5970-4a8a-a575-732c0090a573 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Bayesian time series learning with Gaussian processes
Reference 3
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.
Observation 19216f7b-5d4e-4f8e-af34-e508d4d709c2 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Performance- driven constrained optimal auto-tuner for MPC
Reference 4
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.
Observation 5a69d6b6-ec0a-4bc3-ae6e-081766735be1 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Using model knowledge for learning inverse dynamics
Reference 5
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.
Observation e935b572-1a52-4bc0-8b9b-823469768359 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Gaussian process regression for materials and molecules
Reference 6
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.
Observation 3df66a9c-426f-473d-a488-b1913fa3bdb5 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Online learning for linearly parametrized control problems
Reference 7
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.
Observation 630e1a12-0a3a-4413-8201-838d74f4d1f7 · outbound
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
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.
Observation c4c572c2-07c7-4eb9-8ab4-1b4fd03954de · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics A Tutorial on Bayesian Optimization
Reference 9
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 90ca19f5-989d-4827-bed9-6fe2a1111c2f · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Submodular reinforcement learning
Reference 10
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.
Observation 0663a017-ccaf-4edc-bb9a-cdc4c964bc49 · outbound
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
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.
Observation 50ec7001-a539-4ad0-ae31-dd4c51f6362c · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Safe guaranteed exploration for non-linear systems
Reference 12
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.
Observation 8ce46598-0b0e-4ade-929a-50794c967dd5 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Ostafew, Angela P
Reference 13
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.
Observation ed3f85de-d6d4-46db-93b5-f16de13adcae · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Lai, and Fakhrul Alam
Reference 14
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.
Observation 0c837786-091d-4b27-9ecf-b10cfcfec0d8 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Zeilinger
Reference 15
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.
Observation aca8c889-0659-4107-a90e-5a0d4eaf3560 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Gaussian processes for dynamics learning in model predictive control
Reference 16
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 20b2e31d-3537-4f26-afbb-7446982bdf8c · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Friction- Adaptive Stochastic Predictive Control for Trajectory Tracking of Autonomous Vehicles
Reference 17
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.
Observation 5f63b626-7041-4e12-a6c5-ebda23bb194d · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Girard, J
Reference 18
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.
Observation b67d6c31-205e-4c82-b0af-7e56c7561a38 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Marruedo, T
Reference 19
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.
Observation b5ffa18d-4b86-4681-98b5-984effbe0d1c · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Robust adaptive MPC using control contraction metrics
Reference 20
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.
Observation e2de93b4-523b-48e8-8e56-453e0516d62e · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Villanueva
Reference 21
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.
Observation b86774b6-cc57-4d77-9933-3ec83f6fb7cb · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Learning-Based Model Predictive Control for Safe Exploration
Reference 22
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.
Observation 9f62eb1a-dfe6-4cf3-aa11-b3d77eae826f · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Robust multi-stage nonlinear model predictive control
Reference 23
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.
Observation b1450357-8cba-40f3-bf37-aef03da0dc02 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics The scenario approach to robust control design
Reference 24
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.
Observation 05ae4472-3ad7-4a8f-a7c0-a16e59e4dda8 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics A simple and efficient sampling-based algorithm for general reachability analysis
Reference 25
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.
Observation 95e5f5e7-0f6a-4606-910e-f9c486d4602b · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Aggressive driving with model predictive path integral control
Reference 26
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.
Observation 74b0f6b0-85bb-46c8-91fc-71d45c0e5ead · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Bonzanini, Joel A
Reference 27
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.
Observation 5fbf1f4d-f397-42ea-8279-3f8e9d4a4ea7 · outbound
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
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.
Observation 94d0ff64-dd94-446d-b762-2bddacb0c1ae · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Formal Verification and Control with Conformal Prediction
Reference 29
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c157c6e2-9254-4623-9b4b-1554290228f7 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Estimating reachable sets with scenario optimization
Reference 30
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.
Observation 62f3a3f9-8f3c-4f6f-9aaf-90ffa1decef3 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Scenario-based Optimal Control for Gaussian Process State Space Models
Reference 31
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.
Observation 679599f1-83e3-435b-8544-9ed9923dd589 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Campi, Simone Garatti, and Maria Prandini
Reference 32
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.
Observation 41d2683f-a482-4e4f-8d07-ecdd78aa0d15 · outbound
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
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.
Observation 822bb13c-6bc7-456d-90b1-7c81560c007b · outbound
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
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.
Observation 5435be41-b1c1-4ba6-ad02-6aff97f4b5a7 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Zeilinger
Reference 35
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.
Observation c4fd4514-053e-410c-a489-b89932a81492 · outbound
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
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.
Observation ecb364ca-247b-468b-b42e-d219f6022dde · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Scalable thompson sampling using sparse gaussian process models
Reference 37
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.
Observation 908d51ae-a021-4403-b40e-fc6fce8916eb · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Li and Q.-M
Reference 38
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.
Observation fe560593-f227-4400-adbb-9a398a34b3ab · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Some small ball probabilities for gaussian processes under nonuniform norms
Reference 39
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.
Observation 496580a2-7e72-479d-87ca-b85bb20bb5b3 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Information rates of nonparametric gaussian process methods
Reference 40
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4cd7e375-236a-4218-a896-21d27cf375d8 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Stochastic model predictive control for sub-gaussian noise
Reference 41
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 907c19d3-d6b8-434b-9e95-600838fdb1f7 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Gaussian Processes and Kernel Methods: A Review on Connections and Equivalences
Reference 42
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f4a15168-02c5-4b65-b275-4164912aef93 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Approximation, metric entropy and small ball estimates for gaussian measures
Reference 43
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.
Observation ffb1a60d-ecab-4e1c-9bfd-13bfa0e5110a · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Metric entropy and the small ball problem for gaussian measures
Reference 44
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.
Observation 0b695254-2308-404b-820f-efc7b30c5c11 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Reproducing kernel hilbert spaces of gaussian priors
Reference 45
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8f14140b-381a-4ee8-8629-388a89f7b869 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Lipschitz and H\"older Continuity in Reproducing Kernel Hilbert Spaces
Reference 46
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 15ff8206-a0ba-4c40-89b3-2b648064a652 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization
Reference 47
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.
Observation 841a8340-6606-4058-902c-7fca199ca8c7 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Robust mpc of constrained nonlinear systems based on interval arithmetic
Reference 48
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.
Observation 2597da37-2fcd-45bb-9377-a45aba77bb7a · outbound
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
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.
Observation 264b0b0f-8c5d-4abb-8caa-b8ec48bf898a · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Safety Verification of Nonlinear Stochastic Systems via Probabilistic Tube
Reference 50
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.
Observation d5a7366a-f4b9-4378-9b16-68660989685a · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Mayne, and Moritz Diehl
Reference 51
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.
Observation 90799730-cf90-49a7-afff-66f79b9d5b29 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Sample path regularity of gaussian processes from the covariance kernel
Reference 52
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 423c74a5-1a31-4233-95f5-894695c138ca · outbound
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
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.
Observation c035b8bd-9684-4398-b2ee-88e515f53d7b · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Rawlings, and David Angeli
Reference 54
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.
Observation 8ea7e376-4a32-4319-b13f-b67387f25751 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Economic nonlinear model predictive control
Reference 55
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.
Observation ec47b243-6efb-4a01-937a-88de5361162f · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Acados—a modular open-source framework for fast embedded optimal control
Reference 56
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.
Observation 724d9b23-5176-4b5e-84c2-7ff473f03163 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Unresolved cited work
Reference 57
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.
Observation ab101d72-bf86-4b3f-9e4c-955b83d550ee · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics GPyTorch: Blackbox Matrix- Matrix Gaussian Process Inference with GPU Acceleration
Reference 58
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.
Observation 141bc70b-7c75-48bb-a8ae-7f81b679e492 · outbound
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics A nonlinear model predictive control framework using reference generic terminal ingredients
Reference 59
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.
Observation e8bcf6b4-fc66-48b7-95c2-60ed34c21238 · outbound
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
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.
Observation b3ad9b64-0f16-4786-ade2-5803569b72d9 · outbound
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
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.
Observation 6ec39003-67cc-41a1-8c06-5ca1b8776604 · inbound
A robust and adaptive MPC formulation for Gaussian process models Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics
Reference 44
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.
Observation 2de7a886-b886-4b57-b530-5def608fb5bd · inbound
Optimal airfoils in the intermediate Reynolds number range Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics
Reference 44
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e89d3813-fa9a-48ba-a178-b201b36b336a · inbound
Sampling-Based Safe Reinforcement Learning Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics
Reference 44
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.