Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems | Paper Citation Record

Observation dc46a7d5-95fb-4596-877b-3fe6a58fcb7e · outbound

This paper cites Control of nonlinear systems with reach-avoid-stay specifications: A Lyapunov-barrier approach with an application to the Moore-Greizer model.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Control of nonlinear systems with reach-avoid-stay specifications: A Lyapunov-barrier approach with an application to the Moore-Greizer model

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T15:58:26.645905Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52a1951b-cfa8-433a-a77e-75c740d53228 · outbound

This paper cites A fully automated framework for control of linear systems from temporal logic specifications.IEEE Transactions on Automatic Control, 53(1):287–297, 2008.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems A fully automated framework for control of linear systems from temporal logic specifications.IEEE Transactions on Automatic Control, 53(1):287–297, 2008

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:28.929555Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6d192b29-6a84-4d45-bc7e-f1d9ef397fb5 · outbound

This paper cites Controller synthesis against omega-regular specifications: A funnel-based control approach.International Journal of Robust and Nonlinear Control, 2024.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Controller synthesis against omega-regular specifications: A funnel-based control approach.International Journal of Robust and Nonlinear Control, 2024

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:28.921599Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b259be8a-48da-4ac4-83de-05ae287d6c27 · outbound

This paper cites Tabuada.Verification and Control of Hybrid Systems: A Symbolic Approach.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Tabuada.Verification and Control of Hybrid Systems: A Symbolic Approach

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:28.913098Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 244de94a-7e22-49f3-9a3a-12ec0087cf6a · outbound

This paper cites Robustly complete synthesis of memoryless controllers for nonlinear systems with reach-and-stay specifications.IEEE Transactions on Automatic Control, 66(3):1199–1206, 2021.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Robustly complete synthesis of memoryless controllers for nonlinear systems with reach-and-stay specifications.IEEE Transactions on Automatic Control, 66(3):1199–1206, 2021

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:28.657006Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 0dca184d-198e-45d7-9070-b4c950c42b10 · outbound

This paper cites Controller synthesis for local and global specifications in multi-agent systems.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Controller synthesis for local and global specifications in multi-agent systems

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:28.630291Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation c8913b24-a9fd-484e-ae44-ece3239ab890 · outbound

This paper cites Zavlanos.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Zavlanos

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:28.606656Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation f68b9a5e-5fc7-4253-a956-68fc32f29fe5 · outbound

This paper cites Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, and Paulo Tabuada.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, and Paulo Tabuada

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:28.599754Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 4175f0df-2c95-4be7-93ab-54f248654e14 · outbound

This paper cites Formal synthesis of stochastic systems via control barrier certificates.IEEE Transactions on Automatic Control, 66(7):3097–3110, 2020.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Formal synthesis of stochastic systems via control barrier certificates.IEEE Transactions on Automatic Control, 66(7):3097–3110, 2020

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-12T15:58:26.742551Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3779ff1-d1ed-453d-8d25-b6b608626dbe · outbound

This paper cites Ames, Xiangru Xu, Jessy W.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Ames, Xiangru Xu, Jessy W

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-12T15:58:26.744909Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd281843-827b-42ff-ad62-8c405ea496eb · outbound

This paper cites Pappas, and Majid Zamani.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Pappas, and Majid Zamani

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:28.516990Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 282d1e7b-8c19-40db-84a6-cc28e9256262 · outbound

This paper cites Collision cone control barrier functions: Experimental validation on UGVs for kinematic obstacle avoidance.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Collision cone control barrier functions: Experimental validation on UGVs for kinematic obstacle avoidance

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T15:58:26.749524Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6df503c-377e-4466-9c38-d54e02f6ed30 · outbound

This paper cites Control barrier functions for signal temporal logic tasks.IEEE control systems letters, 3(1):96–101, 2018.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Control barrier functions for signal temporal logic tasks.IEEE control systems letters, 3(1):96–101, 2018

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-12T15:58:26.751905Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16304283-7d85-4494-922c-692d4becd7cb · outbound

This paper cites Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications.Automatica, 144:110478, 2022.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications.Automatica, 144:110478, 2022

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-12T15:58:26.754249Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a7b3a2f-975d-49c4-8372-3f765205f2f7 · outbound

This paper cites Hamilton–Jacobi formulation for reach–avoid differential games.IEEE Transactions on automatic control, 56(8):1849–1861, 2011.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Hamilton–Jacobi formulation for reach–avoid differential games.IEEE Transactions on automatic control, 56(8):1849–1861, 2011

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:28.430127Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 253c5af3-8d55-4b97-8068-c6bc163765c2 · outbound

This paper cites Nonlinear optimal control: Alternatives to Hamilton-Jacobi equation.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Nonlinear optimal control: Alternatives to Hamilton-Jacobi equation

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:28.421968Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 0f912143-6c36-42cf-9198-178f26ebc0b4 · outbound

This paper cites Hamilton-Jacobi reachability: A brief overview and recent advances.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Hamilton-Jacobi reachability: A brief overview and recent advances

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:28.187406Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation ae734071-fe92-41bc-a3c3-998604e3515c · outbound

This paper cites Reach-avoid problems with time-varying dynamics, targets and constraints.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Reach-avoid problems with time-varying dynamics, targets and constraints

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:28.179304Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation c558cb08-2f5d-45e8-8194-225eb6111d52 · outbound

This paper cites Data-driven safety filters: Hamilton-jacobi reachability, control barrier functions, and predictive methods for uncertain systems.IEEE Control Systems Magazine, 43(5):137–177, 2023.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Data-driven safety filters: Hamilton-jacobi reachability, control barrier functions, and predictive methods for uncertain systems.IEEE Control Systems Magazine, 43(5):137–177, 2023

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-12T15:58:26.767653Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78a6db30-fafb-4855-887d-c298cdcbd2d9 · outbound

This paper cites Bechlioulis and George A.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Bechlioulis and George A

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-12T15:58:26.769764Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cba6b51-7c79-4df4-ba97-22b9042bced5 · outbound

This paper cites Prescribed performance control approaches, applications and challenges: A comprehensive survey.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Prescribed performance control approaches, applications and challenges: A comprehensive survey

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:28.163135Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation baa2f331-e990-45e5-91d3-742a0b2d3dda · outbound

This paper cites Approximation-free prescribed performance control with prescribed input constraints.IEEE Control Systems Letters, 7:1261–1266, 2023.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Approximation-free prescribed performance control with prescribed input constraints.IEEE Control Systems Letters, 7:1261–1266, 2023

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-12T15:58:26.775512Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3676ad6-abef-4ee5-894f-10a57051fb48 · outbound

This paper cites Dimarogonas.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Dimarogonas

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-12T15:58:26.828140Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79654edb-0f9b-44a3-ab15-b33590137d1d · outbound

This paper cites Bechlioulis, and Dimos V.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Bechlioulis, and Dimos V

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:28.148176Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 130a40f0-b854-453f-86bf-ea8372bcba00 · outbound

This paper cites Verginis, and Dimos V.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Verginis, and Dimos V

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:28.140967Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 1f4d4964-b2a8-4429-a362-ff47d666ccf2 · outbound

This paper cites Funnel control for fully actuated systems under a fragment of signal temporal logic specifications.Nonlinear Analysis: Hybrid Systems, 39:100973, 2021.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Funnel control for fully actuated systems under a fragment of signal temporal logic specifications.Nonlinear Analysis: Hybrid Systems, 39:100973, 2021

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.966788Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 4276a207-42ae-45de-99d1-ff7a9b536e18 · outbound

This paper cites Path-following through control funnel functions.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Path-following through control funnel functions

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-12T15:58:26.919423Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c7cd5e5-0085-4e6c-9357-83dfacc652be · outbound

This paper cites Verginis, Dimos V.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Verginis, Dimos V

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.954040Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation eb6ca59f-1a55-44d0-887d-4de028729bd3 · outbound

This paper cites Verginis, Dimos V.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Verginis, Dimos V

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.906633Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b3a629ec-6b62-4397-b63c-2c42f1b13eb7 · outbound

This paper cites Prescribed-time reach-avoid-stay specifications for unknown systems: A spatiotemporal tubes approach.IEEE Control Systems Letters, 8:946–951, 2024.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Prescribed-time reach-avoid-stay specifications for unknown systems: A spatiotemporal tubes approach.IEEE Control Systems Letters, 8:946–951, 2024

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-12T15:58:26.926748Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0373c03-3b25-4473-a112-e42e070e0b53 · outbound

This paper cites Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes

Reference 31

Resolution: verified exact; local_arxiv, observed 2026-08-12T15:58:27.219992Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 5517a2c2-173b-4ac4-8d3e-496191ec6955 · outbound

This paper cites Spatiotemporal Tubes based Controller Synthesis against Omega-Regular Specifications for Unknown Systems.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Spatiotemporal Tubes based Controller Synthesis against Omega-Regular Specifications for Unknown Systems

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-12T15:58:26.932084Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63e6ceee-f48e-4d9a-8c3a-271e8e936340 · outbound

This paper cites Reach-Avoid-Stay-Collision-Avoidance Negotiation Framework for Multi-Agent Systems via Spatiotemporal Tubes.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Reach-Avoid-Stay-Collision-Avoidance Negotiation Framework for Multi-Agent Systems via Spatiotemporal Tubes

Reference 33

Resolution: verified exact; local_arxiv, observed 2026-08-12T15:58:27.148643Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 9606cab8-020e-4a84-a79d-3e0033d2053b · outbound

This paper cites Funnel-based control for reach-avoid-stay specifications.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Funnel-based control for reach-avoid-stay specifications

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.820597Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation fed4efe6-dae6-4afd-b0e6-955f581bb44b · outbound

This paper cites Formulas for data-driven control: Stabilization, optimality, and robustness.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Formulas for data-driven control: Stabilization, optimality, and robustness

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.813299Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b7ff4dcf-e683-4b23-84aa-c9a4c03c8151 · outbound

This paper cites Data-driven synthesis of safety controllers via multiple control barrier certificates.IEEE Control Systems Letters, 7:2497–2502, 2023.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Data-driven synthesis of safety controllers via multiple control barrier certificates.IEEE Control Systems Letters, 7:2497–2502, 2023

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.761770Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 05d7684d-de9c-4338-8b64-62ea5ef54e9f · outbound

This paper cites Formal verification of unknown discrete- and continuous-time systems: A data-driven approach.IEEE Transactions on Automatic Control, 68(5):3011–3024, 2023.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Formal verification of unknown discrete- and continuous-time systems: A data-driven approach.IEEE Transactions on Automatic Control, 68(5):3011–3024, 2023

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.656351Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b1cb9ea2-e2b4-4def-bc47-c8afa7003278 · outbound

This paper cites an unresolved cited work.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-12T15:58:26.947043Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 875d1a7d-a4a6-44ae-a08d-5222e296bd35 · outbound

This paper cites Direct adaptive controller for nonaffine nonlinear systems using self-structuring neural networks.IEEE Transactions on Neural Networks, 16(2):414–422, 2005.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Direct adaptive controller for nonaffine nonlinear systems using self-structuring neural networks.IEEE Transactions on Neural Networks, 16(2):414–422, 2005

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.645948Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 36e065f8-888a-4885-aa09-924db534cd21 · outbound

This paper cites Adaptive neural-network control of mimo nonaffine nonlinear systems with asymmetric time-varying state constraints.IEEE Transactions on Cybernetics, 51(4):2042–2054, 2021.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Adaptive neural-network control of mimo nonaffine nonlinear systems with asymmetric time-varying state constraints.IEEE Transactions on Cybernetics, 51(4):2042–2054, 2021

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.638994Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation a5973122-a357-4cf7-a585-19783d0ce9d6 · outbound

This paper cites Bechlioulis and George A.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Bechlioulis and George A

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.545335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 68ae97ad-13ff-4140-8f52-9d3be780d122 · outbound

This paper cites an unresolved cited work.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-12T15:58:26.955414Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fdcab1e5-42b1-4915-bf10-68293337bc8c · outbound

This paper cites Z3: An efficient SMT solver.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Z3: An efficient SMT solver

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.478568Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 790e073c-fc95-4f98-b038-9547b38ebaa4 · outbound

This paper cites Sampling-based algorithms for optimal motion planning.The International Journal of Robotics Research, 30(7):846–894, 2011.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Sampling-based algorithms for optimal motion planning.The International Journal of Robotics Research, 30(7):846–894, 2011

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-12T15:58:26.959724Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10bafff0-e8d5-4dc3-a061-212ab940357b · outbound

This paper cites Dynamic obstacles avoidance using nonlinear model predictive control.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Dynamic obstacles avoidance using nonlinear model predictive control

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.467417Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 8a6d4704-22e6-4dad-b412-8df974427155 · outbound

This paper cites García, David M.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems García, David M

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.459806Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation dd2e17c3-0fa7-4cda-be40-61c7f01b3ed0 · outbound

This paper cites CRC press, 1998.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems CRC press, 1998

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.452442Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 7a8dd423-3576-4f65-8979-0c9bbb5052fa · outbound

This paper cites Rungger and M.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Rungger and M

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.445321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 64d0cdac-07f9-489c-8b44-36fdb48e1f8a · outbound

This paper cites Spong, S.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Spong, S

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.438130Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 28743d55-703b-4a0d-ae75-3402f6040430 · outbound

This paper cites Towards backstepping design for incremental stability.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Towards backstepping design for incremental stability

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.381119Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 0be11fbb-066d-46f0-9836-0965963fd4fc · outbound

This paper cites an unresolved cited work.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-12T15:58:27.113872Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dde13c74-473a-426c-8d4a-2a2c248670d0 · outbound

This paper cites Review of autonomous path planning algorithms for mobile robots.Drones, 7(3):211, 2023.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Review of autonomous path planning algorithms for mobile robots.Drones, 7(3):211, 2023

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.268657Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 7deb835a-8187-4578-b4dc-c0e60802c31c · outbound

This paper cites helperOC: MATLAB library for optimal control and reachability analysis.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems helperOC: MATLAB library for optimal control and reachability analysis

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.260792Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation ada0c4cb-ca7a-4e37-850c-c5160e2e5971 · outbound

This paper cites A toolbox of level set methods.UBC Department of Computer Science Technical Report TR-2007-11, 1:6, 2007.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems A toolbox of level set methods.UBC Department of Computer Science Technical Report TR-2007-11, 1:6, 2007

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.252886Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 0b158fb9-42cd-471f-ad2c-37ff3f20f6e3 · outbound

This paper cites Wood and B.

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems Wood and B

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:58:27.245416Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers