Paper Citation Record · LEDGER

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization

As of 18 August 2026, this Paper Citation Record lists 46 of 46 outbound references and 0 inbound Pith citation observations for arXiv:2506.06679.

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

pith.paper-citation-record.v1
2506.06679 v1

Coverage vector

measured 46 of 46 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T06:04:21.427542Z

measured 46 of 46 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

46 of 46 outbound references displayed

verified exact0
verified fuzzy36
unresolved7
parse uncertain0
malformed identifier1
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 74884585-f9e7-49cb-81bf-088ca1a996c2 · outbound

This paper cites IEEE Control Systems Letters5(3), 773–778 (2020).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization IEEE Control Systems Letters5(3), 773–778 (2020)

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:32.262649Z

Source-reported events for the cited work

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

Observation 98375508-d722-4b5c-a6d8-f0ffdd8563cc · outbound

This paper cites IEEE Transactions on Automatic Control62(10), 5269–5274 (2017).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization IEEE Transactions on Automatic Control62(10), 5269–5274 (2017)

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:32.025853Z

Source-reported events for the cited work

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

Observation 27602aee-b6d1-4b37-966f-942d16ef2ed8 · outbound

This paper cites The MIT Press (2015).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization The MIT Press (2015)

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:31.794655Z

Source-reported events for the cited work

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

Observation 91ed9d9b-b203-48eb-83fc-f711594cb41b · outbound

This paper cites In: 2019 18th European control conference (ECC).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization In: 2019 18th European control conference (ECC)

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T06:04:16.386037Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5effddbe-48d3-48fe-a37f-3a2e86689d0b · outbound

This paper cites User’s Guide and Reference Manual, Version4(2019).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization User’s Guide and Reference Manual, Version4(2019)

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:31.564626Z

Source-reported events for the cited work

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

Observation 6a6db0fb-4d47-4b41-a948-244f38332075 · outbound

This paper cites Automatica44(8), 2163–2170 (2008).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization Automatica44(8), 2163–2170 (2008)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:31.330197Z

Source-reported events for the cited work

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

Observation 9f9133f9-c83e-49fd-960a-d786d5818757 · outbound

This paper cites Advances in neural information processing systems32(2019).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization Advances in neural information processing systems32(2019)

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:31.183755Z

Source-reported events for the cited work

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

Observation 829e45fc-a0ac-4225-b87d-b429f4cb5d90 · outbound

This paper cites In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems.

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:30.941934Z

Source-reported events for the cited work

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

Observation e7ad876b-0406-40d6-bc8b-530da9f0bbdc · outbound

This paper cites In: 2021 60th IEEE Conference on Decision and Control (CDC).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization In: 2021 60th IEEE Conference on Decision and Control (CDC)

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:30.514728Z

Source-reported events for the cited work

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

Observation 6675998b-1897-4727-8827-54d180c41eb3 · outbound

This paper cites A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions.

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions

Reference 10

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T06:04:21.985709Z

Source-reported events for the cited work

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

Observation d2790404-4b12-4d5e-a8cb-acc51f62d85b · outbound

This paper cites Journal of Symbolic Computation5(1-2), 29–35 (1988).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization Journal of Symbolic Computation5(1-2), 29–35 (1988)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:30.152448Z

Source-reported events for the cited work

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

Observation 7bd8092e-f930-4144-acf7-1d72e394bbb8 · outbound

This paper cites Available at SSRN 4880686 (2023).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization Available at SSRN 4880686 (2023)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:29.883816Z

Source-reported events for the cited work

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

Observation d4c11859-cb3a-4009-ba11-b879afef2da6 · outbound

This paper cites In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control.

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T06:04:17.196010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9266c5f0-b3ef-49d3-8cd0-4201580b285b · outbound

This paper cites IEEE Transactions on Automatic Control66(7), 3138–3151 (2020).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization IEEE Transactions on Automatic Control66(7), 3138–3151 (2020)

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:29.611230Z

Source-reported events for the cited work

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

Observation 79afa14d-e53d-4ce4-bf4f-caec812543c3 · outbound

This paper cites CRC Press (2000).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization CRC Press (2000)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:29.301382Z

Source-reported events for the cited work

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

Observation fc69ac88-f458-4482-bbc9-83b4edb2d956 · outbound

This paper cites In: 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization In: 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:28.981625Z

Source-reported events for the cited work

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

Observation 16ea3880-db5a-4c01-864d-3581570b9edc · outbound

This paper cites IEEE Transactions on Automatic Control59(2), 297–312 (2013).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization IEEE Transactions on Automatic Control59(2), 297–312 (2013)

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T06:04:17.500024Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94b92135-fd36-439b-a3d0-45ad764a88e9 · outbound

This paper cites Journal of Symbolic Computation24(2), 137–152 (1997).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization Journal of Symbolic Computation24(2), 137–152 (1997)

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:28.694099Z

Source-reported events for the cited work

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

Observation 5aa810f8-baa5-4b43-9451-47843e8cfefb · outbound

This paper cites IFAC Proceedings V olumes 47(3), 2310–2316 (2014).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization IFAC Proceedings V olumes 47(3), 2310–2316 (2014)

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:28.358461Z

Source-reported events for the cited work

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

Observation 929ddd72-2066-470a-947e-c1527c91adeb · outbound

This paper cites In: 2004 IEEE international conference on robotics and automation (IEEE Cat.

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization In: 2004 IEEE international conference on robotics and automation (IEEE Cat

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:28.023110Z

Source-reported events for the cited work

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

Observation 2bd3bb9f-ccf0-4acb-b410-41b34d914a88 · outbound

This paper cites In: Proc.

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization In: Proc

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T06:04:17.909464Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abc947ec-98a3-4338-897c-df75e0b1ae95 · outbound

This paper cites IEEE Transactions on automatic control56(8), 1849–1861 (2011).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization IEEE Transactions on automatic control56(8), 1849–1861 (2011)

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:27.768786Z

Source-reported events for the cited work

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

Observation b27659b8-11c6-4604-9a3a-c0dc87ee1be6 · outbound

This paper cites California Institute of Technology (2000) 14.

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization California Institute of Technology (2000) 14

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:27.482554Z

Source-reported events for the cited work

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

Observation b3733786-f4c1-4cdd-b8f2-06de910e08ff · outbound

This paper cites In: International conference on tools and algorithms for the construction and analysis of systems.

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization In: International conference on tools and algorithms for the construction and analysis of systems

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T06:04:18.128152Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df08a5ed-e8aa-4caa-b79a-7bcdbd92b527 · outbound

This paper cites Autonomous Robots43, 275–307 (2019).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization Autonomous Robots43, 275–307 (2019)

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:27.105842Z

Source-reported events for the cited work

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

Observation 908a4019-2294-45d5-b11b-21d5c39ab5bd · outbound

This paper cites In: 2024 American Control Conference (ACC).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization In: 2024 American Control Conference (ACC)

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:26.752982Z

Source-reported events for the cited work

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

Observation a4980bdc-38d0-415a-9489-4f76c1c326a4 · outbound

This paper cites IEEE Transactions on Reliability (2024).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization IEEE Transactions on Reliability (2024)

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:26.299463Z

Source-reported events for the cited work

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

Observation b76c786b-9b71-48c1-9500-dfd1f5d244f9 · outbound

This paper cites IFAC Proceedings V olumes46(23), 576–581 (2013).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization IFAC Proceedings V olumes46(23), 576–581 (2013)

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:25.939916Z

Source-reported events for the cited work

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

Observation e4919027-8150-4905-926a-95bcc4938f3f · outbound

This paper cites IEEE Transactions on Automatic Control 69(2), 755–770 (2023).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization IEEE Transactions on Automatic Control 69(2), 755–770 (2023)

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:25.585732Z

Source-reported events for the cited work

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

Observation 1e42d40f-6ce6-4ee7-b200-8bb6cf2947d7 · outbound

This paper cites ProQuest (2006).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization ProQuest (2006)

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:25.195507Z

Source-reported events for the cited work

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

Observation 2fdd2a26-8871-4f84-98d1-e6f9174776b8 · outbound

This paper cites IEEE Transactions on Automatic Control53(2), 565–571 (2008).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization IEEE Transactions on Automatic Control53(2), 565–571 (2008)

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-07T06:04:19.180828Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d21f8962-1828-4940-8859-d170512d2ecc · outbound

This paper cites Minimally Conservative Controlled-Invariant Set Synthesis Using Control Barrier Certificates.

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization Minimally Conservative Controlled-Invariant Set Synthesis Using Control Barrier Certificates

Reference 32

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T06:04:21.825970Z

Source-reported events for the cited work

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

Observation 72f99d5d-88ea-422c-bd4c-6fb5c0eef2ec · outbound

This paper cites IFAC-PapersOnLine 56(2), 1698–1703 (2023).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization IFAC-PapersOnLine 56(2), 1698–1703 (2023)

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:24.825087Z

Source-reported events for the cited work

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

Observation a3049042-6358-4523-a5e3-3e3844e77cb4 · outbound

This paper cites In: 2018 Annual American Control Conference (ACC).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization In: 2018 Annual American Control Conference (ACC)

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:24.484037Z

Source-reported events for the cited work

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

Observation 88348ef0-9052-4c87-b4da-652d2a8a6bdd · outbound

This paper cites In: 2024 European Control Conference (ECC).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization In: 2024 European Control Conference (ECC)

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:24.136871Z

Source-reported events for the cited work

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

Observation 89368c99-a369-4ace-922d-9a64918c26ca · outbound

This paper cites Advances in neural information processing systems 36, 2939–2955 (2023).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization Advances in neural information processing systems 36, 2939–2955 (2023)

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:23.858423Z

Source-reported events for the cited work

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

Observation ac807593-75c8-4416-af84-13067082ca3e · outbound

This paper cites arXiv preprint arXiv:2404.18118 (2024).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization arXiv preprint arXiv:2404.18118 (2024)

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-07T06:04:20.153371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5fe116e-cfaa-4092-bdb5-a2859f28f4f5 · outbound

This paper cites IEEE Transactions on Automatic Control69(12), 8892–8899 (2024).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization IEEE Transactions on Automatic Control69(12), 8892–8899 (2024)

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:23.623672Z

Source-reported events for the cited work

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

Observation 2d3a5aa4-bab1-4682-9be4-293342f17ecc · outbound

This paper cites In: 2021 American Control Conference (ACC).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization In: 2021 American Control Conference (ACC)

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:23.336133Z

Source-reported events for the cited work

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

Observation 64b2e600-a42a-4987-b7a2-4847edf419fa · outbound

This paper cites In: 2020 59th IEEE Conference on Decision and Control (CDC).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization In: 2020 59th IEEE Conference on Decision and Control (CDC)

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:23.105933Z

Source-reported events for the cited work

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

Observation a2937f71-e2a6-4266-aa89-3b0295580f95 · outbound

This paper cites In: International Conference on Computer Aided Verification.

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization In: International Conference on Computer Aided Verification

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:22.975474Z

Source-reported events for the cited work

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

Observation 7b10051c-9a0a-4705-a0a3-2e58134775c8 · outbound

This paper cites Advances in Neural Information Processing Systems36(2024).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization Advances in Neural Information Processing Systems36(2024)

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:22.808462Z

Source-reported events for the cited work

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

Observation d85790b3-1f78-480f-b603-e0d4933793f3 · outbound

This paper cites In: 2022 IEEE 61st Conference on Decision and Control (CDC).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization In: 2022 IEEE 61st Conference on Decision and Control (CDC)

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:22.651612Z

Source-reported events for the cited work

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

Observation 8a029c0b-0bb4-40e9-9890-66bae94c2c59 · outbound

This paper cites IEEE Transactions on Automatic Control68(8), 4682–4694 (2022).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization IEEE Transactions on Automatic Control68(8), 4682–4694 (2022)

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:22.477920Z

Source-reported events for the cited work

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

Observation b3665c07-88c3-4e78-9318-13b57746805a · outbound

This paper cites Formal Aspects of Computing 33, 437–455 (2021).

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization Formal Aspects of Computing 33, 437–455 (2021)

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:04:22.317798Z

Source-reported events for the cited work

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

Observation 15d19afb-3e2e-44b1-8da0-4a3beafcdb7d · outbound

This paper cites In: Proceedings of the AAAI Conference on Artificial Intelligence.

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization In: Proceedings of the AAAI Conference on Artificial Intelligence

Reference 46

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T06:04:22.115382Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.