Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy | Paper Citation Record

Observation 95a4300a-cbee-4da1-b02b-ca79fbc65487 · outbound

This paper cites Formal Methods in System Design54(3), 416–448 (Nov 2019).https://doi.org/10.1007/s10703-019-00333-0,https://doi.org/10.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Formal Methods in System Design54(3), 416–448 (Nov 2019).https://doi.org/10.1007/s10703-019-00333-0,https://doi.org/10

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:29.781865Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f92e1ff4-d352-4a46-98ca-9a1547710ccd · outbound

This paper cites Journal of Systems and Software 188, 111275 (Jun 2022).https://doi.org/10.1016/j.jss.2022.111275,https: //www.sciencedirect.com/science/article/pii/S016412122200036X.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Journal of Systems and Software 188, 111275 (Jun 2022).https://doi.org/10.1016/j.jss.2022.111275,https: //www.sciencedirect.com/science/article/pii/S016412122200036X

Reference 2

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T18:51:35.084782Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 90f42144-a73a-4e09-ba7a-ecc616993b0e · outbound

This paper cites Proceedings of the ACM on Programming Lan- guages7(OOPSLA2), 2196–2223 (Oct 2023).https://doi.org/10.1145/3622875, https://dl.acm.org/doi/10.1145/3622875.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Proceedings of the ACM on Programming Lan- guages7(OOPSLA2), 2196–2223 (Oct 2023).https://doi.org/10.1145/3622875, https://dl.acm.org/doi/10.1145/3622875

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:29.906628Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7e88ad0-97f2-4782-8fed-813d6dc11bb6 · outbound

This paper cites International Journal on Software Tools for Technology Transfer24(5), 803–819 (Oct 2022).https://doi.org/10.1007/s10009-022-00673-z,https://doi.org/10.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy International Journal on Software Tools for Technology Transfer24(5), 803–819 (Oct 2022).https://doi.org/10.1007/s10009-022-00673-z,https://doi.org/10

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:29.969661Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb266db8-462f-4491-8676-707539c3fb25 · outbound

This paper cites 35th International Conference on Computer Aided Verification (Apr 2023).

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy 35th International Conference on Computer Aided Verification (Apr 2023)

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:30.027555Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 712dcb1f-7272-405a-88c3-2c793be61bdd · outbound

This paper cites Evaluation Metrics for Object Detection for Autonomous Systems.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Evaluation Metrics for Object Detection for Autonomous Systems

Reference 6

Resolution: verified exact; local_arxiv, observed 2026-08-05T18:51:32.345893Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation acda289c-ed10-4650-8a8c-5e0084fd3287 · outbound

This paper cites Computer54(12), 50–59 (Dec 2021).https://doi.org/ 10.1109/MC.2021.3085532,https://ieeexplore.ieee.org/document/9622291/.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Computer54(12), 50–59 (Dec 2021).https://doi.org/ 10.1109/MC.2021.3085532,https://ieeexplore.ieee.org/document/9622291/

Reference 7

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T18:51:34.988766Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 0a01d626-e040-45f5-bd11-d42e09bd0697 · outbound

This paper cites In: Steffen, B.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Steffen, B

Reference 8

Resolution: malformed identifier; no resolver link, observed 2026-08-05T18:51:30.230750Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bb5d279-de98-4746-a5f9-d94990ae9316 · outbound

This paper cites 4273–4279 (2017),https://www.ijcai.org/ proceedings/2017/597.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy 4273–4279 (2017),https://www.ijcai.org/ proceedings/2017/597

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:30.384755Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5343e79-f259-4d96-b1cb-d7375acca176 · outbound

This paper cites SIGSOFT Softw.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy SIGSOFT Softw

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:30.508786Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04f87fdf-c95f-407b-af14-b7471a94b375 · outbound

This paper cites End to End Learning for Self-Driving Cars.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy End to End Learning for Self-Driving Cars

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:30.649585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff095022-9632-4490-9753-7ddaa566e478 · outbound

This paper cites OpenAI Gym.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy OpenAI Gym

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:30.773995Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a13ecb96-9a0a-485f-be18-a81c1df5b46e · outbound

This paper cites IEEE Transactions on Software Engineer- ing (2024),https://www.computer.org/csdl/journal/ts/2024/06/10496502/ 1W28Vqz3hQc.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy IEEE Transactions on Software Engineer- ing (2024),https://www.computer.org/csdl/journal/ts/2024/06/10496502/ 1W28Vqz3hQc

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:30.919940Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff3ead53-4313-4bef-ba40-908f738bd2c9 · outbound

This paper cites ModelGuard: Runtime Validation of Lipschitz-continuous Models.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy ModelGuard: Runtime Validation of Lipschitz-continuous Models

Reference 14

Resolution: metadata mismatch; local_arxiv, observed 2026-08-05T18:51:34.761593Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 89ebf725-4f9a-4c48-ab8b-ad1be11c37d8 · outbound

This paper cites an unresolved cited work.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.163627Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58cbd923-f0f5-4959-968d-80e743238ae2 · outbound

This paper cites Ph.D., University of California, Berkeley, United States – California (2020),https://www.proquest.com/docview/2460739262/abstract/ 18015E97A18F4C45PQ/1, iSBN: 9798678171221.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Ph.D., University of California, Berkeley, United States – California (2020),https://www.proquest.com/docview/2460739262/abstract/ 18015E97A18F4C45PQ/1, iSBN: 9798678171221

Reference 16

Resolution: verified exact; raw_fallback, observed 2026-08-05T18:51:34.646335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 08a0a201-4000-426e-9ec1-bad3589dca6c · outbound

This paper cites Conservative Perception Models for Probabilistic Verification.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Conservative Perception Models for Probabilistic Verification

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.223496Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation feaa3a9b-4e97-4ca8-8421-7eb09ab534a2 · outbound

This paper cites In: Proc.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Proc

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.234499Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68a0e8ab-4899-4d25-8069-fdd024ab581c · outbound

This paper cites Journal of Artificial Intelligence Research72, 377–428 (Jan 2022).https://doi.org/10.1613/jair.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Journal of Artificial Intelligence Research72, 377–428 (Jan 2022).https://doi.org/10.1613/jair

Reference 20

Resolution: malformed identifier; no resolver link, observed 2026-08-05T18:51:31.240531Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f281c41-729f-4039-9f02-4793719f2266 · outbound

This paper cites In: Tools and Algorithms for the Construc- tion and Analysis of Systems.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Tools and Algorithms for the Construc- tion and Analysis of Systems

Reference 21

Resolution: malformed identifier; no resolver link, observed 2026-08-05T18:51:31.245902Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94bedcef-11c9-4dfe-b33f-d921c85f1bf3 · outbound

This paper cites In: Proceedings of the 8th International Conference on Formal Methods in Software Engineering.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Proceedings of the 8th International Conference on Formal Methods in Software Engineering

Reference 22

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T18:51:34.404632Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 980dcea4-ba1e-4da4-94e8-4110ea3ba257 · outbound

This paper cites In: Pro- ceedings of the 15th ACM international conference on Hybrid Systems: Computa- tion and Control.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Pro- ceedings of the 15th ACM international conference on Hybrid Systems: Computa- tion and Control

Reference 23

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T18:51:34.283263Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ae9e2266-b213-4ffb-b23e-35d8ad33b38b · outbound

This paper cites an unresolved cited work.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.264095Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bb31f05-3f55-41f3-b111-54996be797fb · outbound

This paper cites an unresolved cited work.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Unresolved cited work

Reference 25

Resolution: verified exact; doi, observed 2026-08-05T18:51:32.220114Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3a9a124f-9146-4c23-a503-c182763ad0d0 · outbound

This paper cites IEEE Transactions on Aerospace and Electronic Systems57(4), 2346–2368 (Aug 2021).https://doi.org/10.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy IEEE Transactions on Aerospace and Electronic Systems57(4), 2346–2368 (Aug 2021).https://doi.org/10

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.273938Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6752165d-4544-4f88-ad53-2e12f274f873 · outbound

This paper cites Journal of Automated Reasoning 63(4), 1031–1053 (Dec 2019).https://doi.org/10.1007/s10817-018-09509-5, https://doi.org/10.1007/s10817-018-09509-5.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Journal of Automated Reasoning 63(4), 1031–1053 (Dec 2019).https://doi.org/10.1007/s10817-018-09509-5, https://doi.org/10.1007/s10817-018-09509-5

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.279367Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0be7a8d0-f224-4138-8cbf-001a38a54c5d · outbound

This paper cites VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems

Reference 28

Resolution: metadata mismatch; local_arxiv, observed 2026-08-05T18:51:34.053716Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5265f1c0-c248-4fe0-b2f4-7731e6fc246f · outbound

This paper cites Distributionally Robust Statistical Verification with Imprecise Neural Networks.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Distributionally Robust Statistical Verification with Imprecise Neural Networks

Reference 29

Resolution: verified exact; local_arxiv, observed 2026-08-05T18:51:32.180390Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3626eb6f-99b6-43ff-813a-e8991e9b9e9c · outbound

This paper cites International Journal on Soft- ware Tools for Technology Transfer17(4), 469–484 (2015).

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy International Journal on Soft- ware Tools for Technology Transfer17(4), 469–484 (2015)

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.296363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cee6685e-3a19-44c6-beaa-add705b8ec7f · outbound

This paper cites Theoretical Computer Science410(42), 4262– 4291 (Sep 2009).https://doi.org/10.1016/j.tcs.2009.06.021,http://www.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Theoretical Computer Science410(42), 4262– 4291 (Sep 2009).https://doi.org/10.1016/j.tcs.2009.06.021,http://www

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.301307Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee8567f4-7d2f-4603-be27-b3664586f658 · outbound

This paper cites In: Proc.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Proc

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.305897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c019b1f-9a14-40b7-81de-a6c3a3238349 · outbound

This paper cites an unresolved cited work.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.315906Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd41ea2b-45fe-47d6-b0b1-9e2261d70044 · outbound

This paper cites Wiley-Interscience, Hoboken, N.J, 3rd edn.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Wiley-Interscience, Hoboken, N.J, 3rd edn

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.320802Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c0f57ef-eb8e-4945-a040-d95b4405dd39 · outbound

This paper cites In: Proc.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Proc

Reference 35

Resolution: verified exact; doi, observed 2026-08-05T18:51:32.131325Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 87da4ce0-7efc-418a-b1b9-4268c7aa2576 · outbound

This paper cites International Journal on Soft- ware Tools for Technology Transfer24(5), 667–689 (Oct 2022).https://doi.org/ 10.1007/s10009-022-00669-9,https://doi.org/10.1007/s10009-022-00669-9.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy International Journal on Soft- ware Tools for Technology Transfer24(5), 667–689 (Oct 2022).https://doi.org/ 10.1007/s10009-022-00669-9,https://doi.org/10.1007/s10009-022-00669-9

Reference 36

Resolution: verified exact; doi, observed 2026-08-05T18:51:32.111762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3cef35d5-bc0d-467e-b0bb-71080b9ea33f · outbound

This paper cites Robotics: Science and Sys- tems X (Jul 2014).https://doi.org/10.15607/RSS.2014.X.039,http://www.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Robotics: Science and Sys- tems X (Jul 2014).https://doi.org/10.15607/RSS.2014.X.039,http://www

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.337656Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7657b8b3-b80b-47d2-a6b1-461eea83fdc0 · outbound

This paper cites In: Embedded Systems Development, pp.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Embedded Systems Development, pp

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.342303Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb03926b-2011-442a-bb4e-f3081f9a8386 · outbound

This paper cites Distribution-free binary classification: prediction sets, confidence intervals and calibration.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Distribution-free binary classification: prediction sets, confidence intervals and calibration

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.354183Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc095c84-e04e-49df-a8ee-4b711e7abbfb · outbound

This paper cites The Probabilistic Model Checker Storm.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy The Probabilistic Model Checker Storm

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.360984Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3628c9b6-5509-4a5a-a5e1-8e7d0ae200e8 · outbound

This paper cites In: Computer Aided Verification.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Computer Aided Verification

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.366789Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32ec10c1-a91a-484e-b860-35d8b840aa09 · outbound

This paper cites Probabilistic Program Abstractions.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Probabilistic Program Abstractions

Reference 42

Resolution: metadata mismatch; local_arxiv, observed 2026-08-05T18:51:33.993729Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5206303c-9905-418c-a81e-40e87aa1af1f · outbound

This paper cites Dover Publications, New York, 1 edn.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Dover Publications, New York, 1 edn

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.384286Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 37594930-3f2e-491b-a7ad-77613fcdfef3 · outbound

This paper cites IEEE Trans.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy IEEE Trans

Reference 44

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T18:51:33.955174Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e1cf8cac-def0-4b59-8614-811c4eda50de · outbound

This paper cites In: Computer Aided Verification.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Computer Aided Verification

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.398013Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de537071-a018-42f9-ae23-dd66b5e68ea8 · outbound

This paper cites In: NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings

Reference 46

Resolution: verified exact; doi, observed 2026-08-05T18:51:32.062250Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation eec64385-7b07-4d65-a834-6ece87cc89c8 · outbound

This paper cites In: Proceedings of the 23rd International Conference on Hybrid Systems: Com- putation and Control.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Proceedings of the 23rd International Conference on Hybrid Systems: Com- putation and Control

Reference 47

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T18:51:33.848957Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c0c2c4bf-60d0-43fa-9dbd-c692769fba2b · outbound

This paper cites an unresolved cited work.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Unresolved cited work

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.415101Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc625c03-22e2-427b-9692-aa7ab518ac30 · outbound

This paper cites In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.420103Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30620a37-c6ec-4f4c-a4ff-1e7d50aedffb · outbound

This paper cites ACM Transactions on Graphics42(4) (July 2023),https://repo-sam.inria.fr/fungraph/3d-gaussian-splatting/.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy ACM Transactions on Graphics42(4) (July 2023),https://repo-sam.inria.fr/fungraph/3d-gaussian-splatting/

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.430402Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe55bf31-bea9-4f3d-87e5-7a00a700644a · outbound

This paper cites Assume-Guarantee Abstraction Refinement for Probabilistic Systems.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Assume-Guarantee Abstraction Refinement for Probabilistic Systems

Reference 51

Resolution: metadata mismatch; local_arxiv, observed 2026-08-05T18:51:33.632762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 80394812-ab20-4cb6-96ad-d54fe7503e97 · outbound

This paper cites an unresolved cited work.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Unresolved cited work

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.425022Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 368437ab-b379-4781-9ac5-6476aad09232 · outbound

This paper cites In: Bernardo, M., Hillston, J.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Bernardo, M., Hillston, J

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.448415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98fa7dc2-be25-419f-8727-08ba14272538 · outbound

This paper cites In: Gopalakrishnan, G., Qadeer, S.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Gopalakrishnan, G., Qadeer, S

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:51:35.454048Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 38d3ea54-dea9-411e-a3df-b45d60964512 · outbound

This paper cites In: Proc.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Proc

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.442842Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cdb196fe-113f-4fbc-85e2-57cdc2d61e37 · outbound

This paper cites In: Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:51:35.436229Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 04be993b-bdac-4d6b-b4ea-a932536ac30c · outbound

This paper cites Information and Computation 232, 38–65 (Nov 2013).

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Information and Computation 232, 38–65 (Nov 2013)

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:51:35.414331Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 48b9ddd5-6035-4170-8377-04d7d4e0f719 · outbound

This paper cites an unresolved cited work.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Unresolved cited work

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.464124Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46d99a91-989b-4218-9203-8763d8b23486 · outbound

This paper cites In: International Conference on Software Engineering and Formal Methods.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: International Conference on Software Engineering and Formal Methods

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:51:35.377987Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 58762d62-8b6b-4664-a8f1-7c65283466b8 · outbound

This paper cites an unresolved cited work.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Unresolved cited work

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.500390Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa5b748a-cd82-45a1-ae3b-d9e6f9543e55 · outbound

This paper cites In: Annals of Computer Science and Information Systems.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Annals of Computer Science and Information Systems

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:51:35.397144Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3195c018-77fb-41a6-a2f4-02ec3a06e638 · outbound

This paper cites In: Amato, N.M., Hager, G., Thomas, S., 26 Jordan Peper, Yan Miao, Sayan Mitra, and Ivan Ruchkin Torres-Torriti, M.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Amato, N.M., Hager, G., Thomas, S., 26 Jordan Peper, Yan Miao, Sayan Mitra, and Ivan Ruchkin Torres-Torriti, M

Reference 62

Resolution: verified exact; doi, observed 2026-08-05T18:51:32.026057Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 001d2082-382f-455d-9d6d-22e4d921ed0e · outbound

This paper cites In: Proceedings of the 18th International Con- ference on Autonomous Agents and MultiAgent Systems.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Proceedings of the 18th International Con- ference on Autonomous Agents and MultiAgent Systems

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:51:35.335537Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 917abd79-0264-4860-8011-a8ac58fabdbc · outbound

This paper cites In: In Pro- ceedings of Learning for Decision and Control (L4DC) (2025).

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: In Pro- ceedings of Learning for Decision and Control (L4DC) (2025)

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:51:35.354620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 206a873d-ca60-4c8e-97b4-815ffd1933a4 · outbound

This paper cites IEEE Transactions on Automatic Control64(6), 2629– 2636 (2018), publisher: IEEE.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy IEEE Transactions on Automatic Control64(6), 2629– 2636 (2018), publisher: IEEE

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:51:35.317938Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 4b5bdfd7-ecaf-4d55-b9dc-a6dc54513ead · outbound

This paper cites an unresolved cited work.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Unresolved cited work

Reference 66

Resolution: unresolved; raw_fallback, observed 2026-08-05T18:51:35.297915Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e1a45b0f-c0ad-4a05-8096-057de35e0a19 · outbound

This paper cites https://doi.org/10.1007/978-3-030-28619-4_10.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy https://doi.org/10.1007/978-3-030-28619-4_10

Reference 67

Resolution: verified exact; doi, observed 2026-08-05T18:51:32.007613Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 1d807ffc-afdf-4203-b4ca-515f1a859660 · outbound

This paper cites an unresolved cited work.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Unresolved cited work

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.545553Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69781c2f-4883-496c-95cd-74a7ab8bb6f2 · outbound

This paper cites an unresolved cited work.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Unresolved cited work

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.550982Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 939b94e5-353e-4430-b5b2-9d8a513e90d3 · outbound

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

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: IEEE/RSJ International Conference on Intelligent Robots and Systems

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:51:35.281015Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation dc49219a-05f0-475f-b067-59118392f5c6 · outbound

This paper cites In: 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.562579Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 330f8513-547d-4836-a31c-fdceb8baf5b6 · outbound

This paper cites Statistics in Medicine17(8), 857–872 (Apr 1998).https://doi.org/10.1002/(sici)1097-0258(19980430)17:8<857:: aid-sim777>3.0.co;2-e.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Statistics in Medicine17(8), 857–872 (Apr 1998).https://doi.org/10.1002/(sici)1097-0258(19980430)17:8<857:: aid-sim777>3.0.co;2-e

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.568201Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a88d228-087b-47f7-81da-43973e558e83 · outbound

This paper cites Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems

Reference 73

Resolution: metadata mismatch; local_arxiv, observed 2026-08-05T18:51:31.979463Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 97eb1166-db73-4aa1-b572-f5b977cec5a0 · outbound

This paper cites ACM Transactions on Embedded Computing Systems18(1), 2:1–2:26 (Jan 2019).https://doi.org/10.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy ACM Transactions on Embedded Computing Systems18(1), 2:1–2:26 (Jan 2019).https://doi.org/10

Reference 74

Resolution: verified exact; doi, observed 2026-08-05T18:51:31.939269Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 8976a91d-2205-499f-b2a7-3b4fcdddeae6 · outbound

This paper cites an unresolved cited work.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Unresolved cited work

Reference 75

Resolution: verified exact; doi, observed 2026-08-05T18:51:31.921683Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation bbf5d073-b6bb-46ee-a405-ec4eb86391cf · outbound

This paper cites In: Proceedings of the 2019 Inter- national Symposium on Physical Design.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Proceedings of the 2019 Inter- national Symposium on Physical Design

Reference 76

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T18:51:33.404514Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c23bfeca-4ecc-4d0e-9836-6cbc8ab97361 · outbound

This paper cites IEEE Tran.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy IEEE Tran

Reference 77

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T18:51:33.295815Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 00cad62c-1370-4ada-8519-8858b853ae79 · outbound

This paper cites PhD Thesis, Carnegie Mellon University (Mar 2019),https://doi.org/10.1184/R1/ 7970222.v1.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy PhD Thesis, Carnegie Mellon University (Mar 2019),https://doi.org/10.1184/R1/ 7970222.v1

Reference 78

Resolution: malformed identifier; doi_truncated, observed 2026-08-05T18:51:31.903546Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d93e1a2a-2970-462f-a3c9-58e426934c89 · outbound

This paper cites In: Computer Aided Verification.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Computer Aided Verification

Reference 79

Resolution: malformed identifier; raw_fallback, observed 2026-08-05T18:51:35.248957Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation fb5532f9-0cad-429c-be41-a100a01db2ed · outbound

This paper cites In: 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop

Reference 80

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:51:35.229494Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 6cab56cd-70b8-41a8-8c6c-59def92a214e · outbound

This paper cites In: Proc.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Proc

Reference 81

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T18:51:33.179452Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation cec3b7b9-6235-45fc-8c6c-514da7f20d22 · outbound

This paper cites In: ACM/IEEE 13th Intl.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: ACM/IEEE 13th Intl

Reference 82

Resolution: verified exact; raw_fallback, observed 2026-08-05T18:51:34.521268Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3d8dd30d-1d02-4959-95c0-72a3c000ac34 · outbound

This paper cites Frankenstein: Contract-Based Design for Cyber-Physical Systems.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Frankenstein: Contract-Based Design for Cyber-Physical Systems

Reference 83

Resolution: verified exact; doi, observed 2026-08-05T18:51:31.860742Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a7438e29-b580-423c-a0d1-2fe6c04e5b1a · outbound

This paper cites In: Deshmukh, J.V., Havelund, K., Perez, I.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Deshmukh, J.V., Havelund, K., Perez, I

Reference 84

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:51:35.212051Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 7547be11-8a05-421e-9667-6fc019eb3062 · outbound

This paper cites In: Arbab, F., Ölveczky, P.C.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Arbab, F., Ölveczky, P.C

Reference 85

Resolution: verified exact; doi, observed 2026-08-05T18:51:31.881270Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 20e965c5-d733-4ad0-a85a-df031c337ba7 · outbound

This paper cites In: 2024 IEEE International Conference on Robotics and Automation (ICRA).

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: 2024 IEEE International Conference on Robotics and Automation (ICRA)

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.655866Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb9e86ea-3624-44ee-ada5-a723ba7a8821 · outbound

This paper cites In: International Conference on Learning Representations (2014).

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: International Conference on Learning Representations (2014)

Reference 87

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:51:35.196469Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 0c5b1293-3439-4e44-8392-96a57446306d · outbound

This paper cites In: 2018 17th IEEE International Conference on Machine Learning and Applications (ICMLA).

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: 2018 17th IEEE International Conference on Machine Learning and Applications (ICMLA)

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.650590Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98eda3a3-8340-4c13-a22d-9cbd7553ccac · outbound

This paper cites In: Pro- ceedings of the eighth international symposium on imprecise probability : theories and applications.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Pro- ceedings of the eighth international symposium on imprecise probability : theories and applications

Reference 89

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:51:35.133079Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 084879b0-f38c-4ab4-ab66-3a99bbd52178 · outbound

This paper cites A Model Counter's Guide to Probabilistic Systems.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy A Model Counter's Guide to Probabilistic Systems

Reference 90

Resolution: metadata mismatch; local_arxiv, observed 2026-08-05T18:51:32.807269Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 13ab18ee-6703-429b-803e-fee1ab15a903 · outbound

This paper cites In: Proceedings of the Twelveth Interna- tional Symposium on Imprecise Probability: Theories and Applications.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: Proceedings of the Twelveth Interna- tional Symposium on Imprecise Probability: Theories and Applications

Reference 91

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:51:35.172396Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 16dc73cb-1b53-4ea0-92db-6edbf54b2928 · outbound

This paper cites In: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.702295Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6879b15b-5f71-4e01-8f34-1e802a5a4a5d · outbound

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

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy In: 2012 IEEE 51st IEEE Conference on Decision and Control (CDC)

Reference 93

Resolution: metadata mismatch; raw_fallback, observed 2026-08-05T18:51:32.682324Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation cce4199d-f2c2-47c1-b16d-f0206c4e3db9 · outbound

This paper cites 2023 IEEE Conference on Secure and Trustworthy Ma- chine Learning (SaTML) pp.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy 2023 IEEE Conference on Secure and Trustworthy Ma- chine Learning (SaTML) pp

Reference 94

Resolution: malformed identifier; no resolver link, observed 2026-08-05T18:51:31.721297Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6057631-0928-4ce7-8d49-b944ead94865 · outbound

This paper cites State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.696090Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66e59e69-89b4-48c8-bfac-2843ed83b050 · outbound

This paper cites CVPR (2025).

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy CVPR (2025)

Reference 96

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:51:35.105023Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 60d8928b-9987-44fe-bd50-a1f336767aa0 · outbound

This paper cites Novel Demonstration Generation with Gaussian Splatting Enables Robust One-Shot Manipulation.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Novel Demonstration Generation with Gaussian Splatting Enables Robust One-Shot Manipulation

Reference 97

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.741275Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ead9f8a9-7a89-4282-9377-447ebde1e954 · outbound

This paper cites an unresolved cited work.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Unresolved cited work

Reference 98

Resolution: verified exact; doi, observed 2026-08-05T18:51:31.803538Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation dfa42ff2-e1db-4577-bb92-3d64a4dcda9c · outbound

This paper cites Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems

Reference 99

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.727793Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 136f6275-a904-4d0e-bc50-437501850a36 · outbound

This paper cites 20 in Embedded Systems, Springer New York (2014).

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy 20 in Embedded Systems, Springer New York (2014)

Reference 154

Resolution: unresolved; no resolver link, observed 2026-08-05T18:51:31.349050Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae273372-2e0e-48f4-ba40-dda07dd167df · outbound

This paper cites html, iSSN: 2640-3498.

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy html, iSSN: 2640-3498

Reference 309

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:51:35.151397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers