Falsification of Autonomous Systems in Rich Environments | Paper Citation Record

Observation d750b5de-7527-4ff3-9f5d-4d3ba6843940 · outbound

This paper cites an unresolved cited work.

Falsification of Autonomous Systems in Rich Environments Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-11T05:12:55.051690Z

Source-reported events for the cited work

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

Observation 4ec81bf4-9b23-4951-95d0-a7659221d4a6 · outbound

This paper cites an unresolved cited work.

Falsification of Autonomous Systems in Rich Environments Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-11T05:12:55.038364Z

Source-reported events for the cited work

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

Observation f1e70de4-6a23-4568-8fd3-8b8195b2a44d · outbound

This paper cites IEEE Transactions on Cybernetics pp.

Falsification of Autonomous Systems in Rich Environments IEEE Transactions on Cybernetics pp

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:55.025622Z

Source-reported events for the cited work

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

Observation 09346c24-4564-48a1-8804-e01cb40712a4 · outbound

This paper cites Annual Review of Control, Robotics, and Autonomous Systems 1(Volume 1, 2018), 211–236 (May 2018).

Falsification of Autonomous Systems in Rich Environments Annual Review of Control, Robotics, and Autonomous Systems 1(Volume 1, 2018), 211–236 (May 2018)

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:55.011883Z

Source-reported events for the cited work

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

Observation 81a60d35-e1c7-4d62-a170-43ffeb407c0b · outbound

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

Falsification of Autonomous Systems in Rich Environments In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.997275Z

Source-reported events for the cited work

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

Observation 4b3b968c-d073-4781-88a0-3e264fce3dba · outbound

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

Falsification of Autonomous Systems in Rich Environments In: 2021 IEEE International Conference on Robotics and Automation (ICRA)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.985003Z

Source-reported events for the cited work

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

Observation 8084768b-f350-4ddf-b655-9bfed19668ad · outbound

This paper cites In: Al Faruque, M.A., Canedo, A.

Falsification of Autonomous Systems in Rich Environments In: Al Faruque, M.A., Canedo, A

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.974162Z

Source-reported events for the cited work

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

Observation de5af8cf-4748-40ea-a835-64598e3e233d · outbound

This paper cites LeeVaraiya.org, second edn.

Falsification of Autonomous Systems in Rich Environments LeeVaraiya.org, second edn

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.962351Z

Source-reported events for the cited work

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

Observation 322bc110-7d84-437f-8f46-f300f02dc875 · outbound

This paper cites In: 18th Annual Symposium on Foundations of Computer Science (Sfcs 1977).

Falsification of Autonomous Systems in Rich Environments In: 18th Annual Symposium on Foundations of Computer Science (Sfcs 1977)

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.951612Z

Source-reported events for the cited work

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

Observation ef3ced16-b349-4301-9ded-339326303fc8 · outbound

This paper cites In: Majumdar, R., Kunčak, V.

Falsification of Autonomous Systems in Rich Environments In: Majumdar, R., Kunčak, V

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.940535Z

Source-reported events for the cited work

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

Observation d4796094-dae3-4a0f-ba4b-d798951f1ba4 · outbound

This paper cites an unresolved cited work.

Falsification of Autonomous Systems in Rich Environments Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-11T05:12:54.927624Z

Source-reported events for the cited work

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

Observation 7e000d07-82c1-4dca-9988-3f736cefddc1 · outbound

This paper cites In: Advances in Neural Information Processing Systems.

Falsification of Autonomous Systems in Rich Environments In: Advances in Neural Information Processing Systems

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.915594Z

Source-reported events for the cited work

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

Observation 24c80d9d-7ed2-4c78-960c-f015b0a2916f · outbound

This paper cites In: Proceedings of the 35th International Conference on Machine Learning.

Falsification of Autonomous Systems in Rich Environments In: Proceedings of the 35th International Conference on Machine Learning

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.902840Z

Source-reported events for the cited work

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

Observation 641d6dca-dd06-4be8-a41e-265c5edb1a32 · outbound

This paper cites In: 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

Falsification of Autonomous Systems in Rich Environments In: 2017 IEEE 56th Annual Conference on Decision and Control (CDC)

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.890710Z

Source-reported events for the cited work

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

Observation abf2dd41-97ce-4959-adc9-ad5b1bc9552a · outbound

This paper cites IEEE Transactions on Automatic Control 50(7), 947–957 (Jul 2005).

Falsification of Autonomous Systems in Rich Environments IEEE Transactions on Automatic Control 50(7), 947–957 (Jul 2005)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.879046Z

Source-reported events for the cited work

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

Observation 0e7aeeca-50d5-4697-8d0d-675ee10f1921 · outbound

This paper cites In: Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) (2018).

Falsification of Autonomous Systems in Rich Environments In: Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) (2018)

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.866205Z

Source-reported events for the cited work

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

Observation 45ee2930-97f4-4e1d-84df-1a78653afae4 · outbound

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

Falsification of Autonomous Systems in Rich Environments In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.852767Z

Source-reported events for the cited work

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

Observation 29c8cdd4-8b0a-4327-b4e6-fb21acf936b3 · outbound

This paper cites ACM Trans.

Falsification of Autonomous Systems in Rich Environments ACM Trans

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.840681Z

Source-reported events for the cited work

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

Observation aba01d03-3129-43e5-aca6-645523be4174 · outbound

This paper cites an unresolved cited work.

Falsification of Autonomous Systems in Rich Environments Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-11T05:12:54.829364Z

Source-reported events for the cited work

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

Observation 19866dc0-a4fe-4868-a455-14a53278b456 · outbound

This paper cites an unresolved cited work.

Falsification of Autonomous Systems in Rich Environments Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-11T05:12:54.817399Z

Source-reported events for the cited work

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

Observation e5eccdb9-c79e-4dff-a600-d73e1ad14c49 · outbound

This paper cites Journal of Artificial Intelligence Research 72, 377–428 (Oct 2021).

Falsification of Autonomous Systems in Rich Environments Journal of Artificial Intelligence Research 72, 377–428 (Oct 2021)

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.806093Z

Source-reported events for the cited work

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

Observation 5b43670a-97c6-49e8-9e94-f9901e415c79 · outbound

This paper cites Theoretical Computer Science 410(42), 4262–4291 (Sep 2009) , Vol.

Falsification of Autonomous Systems in Rich Environments Theoretical Computer Science 410(42), 4262–4291 (Sep 2009) , Vol

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.793226Z

Source-reported events for the cited work

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

Observation 0891fbd2-cde5-42e3-891c-0aae3ccd3f7d · outbound

This paper cites In: Kroening, D., Păsăreanu, C.S.

Falsification of Autonomous Systems in Rich Environments In: Kroening, D., Păsăreanu, C.S

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.781403Z

Source-reported events for the cited work

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

Observation 8b4a1c81-48f8-4ebd-be93-2a8c77fd20ac · outbound

This paper cites Real-Time Systems 2(4), 255–299 (Nov 1990).

Falsification of Autonomous Systems in Rich Environments Real-Time Systems 2(4), 255–299 (Nov 1990)

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.770050Z

Source-reported events for the cited work

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

Observation 152638e0-258f-4506-b3a1-210fff80bba1 · outbound

This paper cites In: Lakhnech, Y., Yovine, S.

Falsification of Autonomous Systems in Rich Environments In: Lakhnech, Y., Yovine, S

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.759603Z

Source-reported events for the cited work

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

Observation de8e89cf-b841-4b68-854f-0a3c7d2a1653 · outbound

This paper cites an unresolved cited work.

Falsification of Autonomous Systems in Rich Environments Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-11T05:12:54.748705Z

Source-reported events for the cited work

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

Observation 4091545a-ff8f-42ac-ad14-44bd375eab59 · outbound

This paper cites ACM Trans.

Falsification of Autonomous Systems in Rich Environments ACM Trans

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.737669Z

Source-reported events for the cited work

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

Observation 4f063e59-346d-481e-a1da-8ef692cbf9a6 · outbound

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

Falsification of Autonomous Systems in Rich Environments In: 2018 IEEE International Conference on Robotics and Automation (ICRA)

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.726876Z

Source-reported events for the cited work

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

Observation 2147f1c4-1831-4b3a-b57d-73ca89cebe5a · outbound

This paper cites In: IEEE International Conference on Automation Science and Engineering (CASE).

Falsification of Autonomous Systems in Rich Environments In: IEEE International Conference on Automation Science and Engineering (CASE)

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.713875Z

Source-reported events for the cited work

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

Observation 22f2258c-e8c4-47c0-b9c5-297d92892132 · outbound

This paper cites In: Dillig, I., Tasiran, S.

Falsification of Autonomous Systems in Rich Environments In: Dillig, I., Tasiran, S

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.702109Z

Source-reported events for the cited work

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

Observation b8c00021-bfd8-4c88-96b8-a3b154f79d02 · outbound

This paper cites an unresolved cited work.

Falsification of Autonomous Systems in Rich Environments Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-11T05:12:54.690286Z

Source-reported events for the cited work

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

Observation 19b2a8b0-ea26-4f01-b74c-a00047d409a3 · outbound

This paper cites IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41(8), 2393–2406 (Aug 2022).

Falsification of Autonomous Systems in Rich Environments IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41(8), 2393–2406 (Aug 2022)

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.677420Z

Source-reported events for the cited work

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

Observation f9c46ba5-3ddd-4916-b4b3-1f10341616bc · outbound

This paper cites ACM Trans.

Falsification of Autonomous Systems in Rich Environments ACM Trans

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.666013Z

Source-reported events for the cited work

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

Observation 807dbd5c-3726-4692-b186-78e2c5c15a8f · outbound

This paper cites In: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Falsification of Autonomous Systems in Rich Environments In: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.655024Z

Source-reported events for the cited work

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

Observation ce6ccd71-fbd1-45ea-83aa-9a80ab43b4b0 · outbound

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

Falsification of Autonomous Systems in Rich Environments In: Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.642981Z

Source-reported events for the cited work

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

Observation 4ab1703f-e138-49fe-8a9d-bd70aa8c2c34 · outbound

This paper cites Journal of Air Transportation 24(2), 55–62 (Apr 2016).

Falsification of Autonomous Systems in Rich Environments Journal of Air Transportation 24(2), 55–62 (Apr 2016)

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.630540Z

Source-reported events for the cited work

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

Observation ce69c079-cf99-4d26-9eb8-559fe026aabd · outbound

This paper cites IEEE Control Systems Magazine 23(4), 49–57 (Aug 2003).

Falsification of Autonomous Systems in Rich Environments IEEE Control Systems Magazine 23(4), 49–57 (Aug 2003)

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.619161Z

Source-reported events for the cited work

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

Observation 3e23df95-580d-41cf-9f7e-1d4c242d28f4 · outbound

This paper cites In: Proceedings of IEEE International Conference on Evolutionary Computation.

Falsification of Autonomous Systems in Rich Environments In: Proceedings of IEEE International Conference on Evolutionary Computation

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.607294Z

Source-reported events for the cited work

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

Observation 9e495f31-127c-4433-9b9e-abae8b353e11 · outbound

This paper cites IEEE Transactions on Software Engineering 49(4), 1842–1859 (Apr 2023).

Falsification of Autonomous Systems in Rich Environments IEEE Transactions on Software Engineering 49(4), 1842–1859 (Apr 2023)

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.595249Z

Source-reported events for the cited work

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

Observation cf0a6db3-480c-4c0e-82ab-2583d619777c · outbound

This paper cites an unresolved cited work.

Falsification of Autonomous Systems in Rich Environments Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-11T05:12:54.581861Z

Source-reported events for the cited work

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

Observation 141ef7e0-9e76-4909-8b31-b236cd77a8f1 · outbound

This paper cites Annual Review of Control, Robotics, and Autonomous Systems 7(Volume 7, 2024), 285–310 (Jul 2024).

Falsification of Autonomous Systems in Rich Environments Annual Review of Control, Robotics, and Autonomous Systems 7(Volume 7, 2024), 285–310 (Jul 2024)

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.570085Z

Source-reported events for the cited work

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

Observation 82353c64-7f04-424f-9c57-a638e22f3d2c · outbound

This paper cites IEEE Access 2, 56–77 (2014).

Falsification of Autonomous Systems in Rich Environments IEEE Access 2, 56–77 (2014)

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.558219Z

Source-reported events for the cited work

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

Observation 18564009-3743-4cef-80de-bb741a76c88c · outbound

This paper cites The International Journal of Robotics Research (Nov 2008).

Falsification of Autonomous Systems in Rich Environments The International Journal of Robotics Research (Nov 2008)

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.548031Z

Source-reported events for the cited work

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

Observation 59662b1f-a359-4da5-9cda-52a5f08b9e43 · outbound

This paper cites Proceedings of the International Conference on Automated Planning and Scheduling 33, 2–6 (Jul 2023).

Falsification of Autonomous Systems in Rich Environments Proceedings of the International Conference on Automated Planning and Scheduling 33, 2–6 (Jul 2023)

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.537361Z

Source-reported events for the cited work

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

Observation d27443d3-810a-42dd-9703-61b49cdb9c12 · outbound

This paper cites Formal Methods in System Design 34(2), 157–182 (Apr 2009).

Falsification of Autonomous Systems in Rich Environments Formal Methods in System Design 34(2), 157–182 (Apr 2009)

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.526391Z

Source-reported events for the cited work

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

Observation 6e795486-bb36-4887-96eb-9e92fa2d09e5 · outbound

This paper cites International Journal on Software Tools for Technology Transfer 15(4), 305–320 (Aug 2013).

Falsification of Autonomous Systems in Rich Environments International Journal on Software Tools for Technology Transfer 15(4), 305–320 (Aug 2013)

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.514249Z

Source-reported events for the cited work

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

Observation 4fc9d988-1076-4697-baf0-f0515e919ed2 · outbound

This paper cites In: Erdmann, M., Overmars, M., Hsu, D., van der Stappen, F.

Falsification of Autonomous Systems in Rich Environments In: Erdmann, M., Overmars, M., Hsu, D., van der Stappen, F

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.502594Z

Source-reported events for the cited work

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

Observation d5d501dd-18d6-4682-81cb-fdd0c1160b41 · outbound

This paper cites In: 2019 IEEE Intelligent Transportation Systems Conference (ITSC).

Falsification of Autonomous Systems in Rich Environments In: 2019 IEEE Intelligent Transportation Systems Conference (ITSC)

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.491756Z

Source-reported events for the cited work

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

Observation 362b523a-dc37-4baf-943d-f4022e48435f · outbound

This paper cites ACM Trans.

Falsification of Autonomous Systems in Rich Environments ACM Trans

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.481007Z

Source-reported events for the cited work

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

Observation f4c8f5f9-e2f3-4fb9-96fb-cc792efe0b93 · outbound

This paper cites IEEE Transactions on Software Engineering SE-3(2), 125–143 (Mar 1977).

Falsification of Autonomous Systems in Rich Environments IEEE Transactions on Software Engineering SE-3(2), 125–143 (Mar 1977)

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.470689Z

Source-reported events for the cited work

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

Observation 74b9b73c-6d01-4893-9b30-3a5a8320ba64 · outbound

This paper cites Journal of Artificial Intelligence Research 20, 61–124 (Dec 2003).

Falsification of Autonomous Systems in Rich Environments Journal of Artificial Intelligence Research 20, 61–124 (Dec 2003)

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.459161Z

Source-reported events for the cited work

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

Observation 76ced464-9575-4993-af4d-d005ad209dfc · outbound

This paper cites In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence.

Falsification of Autonomous Systems in Rich Environments In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.447770Z

Source-reported events for the cited work

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

Observation f0105d80-9354-47d2-91cc-35c563eeb820 · outbound

This paper cites IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 37(11), 2894–2905 (Nov 2018).

Falsification of Autonomous Systems in Rich Environments IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 37(11), 2894–2905 (Nov 2018)

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.436802Z

Source-reported events for the cited work

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

Observation ac88062f-9036-4602-8cd1-30e4c12981bf · outbound

This paper cites In: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC).

Falsification of Autonomous Systems in Rich Environments In: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC)

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.425279Z

Source-reported events for the cited work

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

Observation daa280ea-98c8-4576-973f-e29eb8d89473 · outbound

This paper cites IEEE Transactions on Software Engineering 47(12), 2823–2840 (Dec 2021).

Falsification of Autonomous Systems in Rich Environments IEEE Transactions on Software Engineering 47(12), 2823–2840 (Dec 2021)

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.414233Z

Source-reported events for the cited work

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

Observation 88a11de8-451b-4b98-bd5c-19c2e04058a7 · outbound

This paper cites In: 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21).

Falsification of Autonomous Systems in Rich Environments In: 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.402437Z

Source-reported events for the cited work

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

Observation d14be47a-3948-456d-b70c-37bebddb79bd · outbound

This paper cites In: Abdulla, P.A., Leino, K.R.M.

Falsification of Autonomous Systems in Rich Environments In: Abdulla, P.A., Leino, K.R.M

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.391402Z

Source-reported events for the cited work

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

Observation 73f8c343-0ebc-45e6-ac99-ea48380fdd46 · outbound

This paper cites In: Touili, T., Cook, B., Jackson, P.

Falsification of Autonomous Systems in Rich Environments In: Touili, T., Cook, B., Jackson, P

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.380553Z

Source-reported events for the cited work

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

Observation 2c2efd8b-8f01-42b5-b304-9dadc9d04d32 · outbound

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

Falsification of Autonomous Systems in Rich Environments In: Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.367830Z

Source-reported events for the cited work

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

Observation 8eee54c4-1119-42f9-bcf8-655f7b9908af · outbound

This paper cites SIGBED Rev.

Falsification of Autonomous Systems in Rich Environments SIGBED Rev

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.356567Z

Source-reported events for the cited work

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

Observation 21997e6f-24d6-43a6-9b39-454dcffbc31f · outbound

This paper cites In: Dillig, I., Tasiran, S.

Falsification of Autonomous Systems in Rich Environments In: Dillig, I., Tasiran, S

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.345409Z

Source-reported events for the cited work

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

Observation 076f6f19-757e-4abe-8f93-2dd5a8f4af22 · outbound

This paper cites Machine Learning 112(10), 3805–3849 (Oct 2023).

Falsification of Autonomous Systems in Rich Environments Machine Learning 112(10), 3805–3849 (Oct 2023)

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.333031Z

Source-reported events for the cited work

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

Observation c0bd31d2-5686-44f9-9bb3-fa58ff3a0acc · outbound

This paper cites The International Journal of Robotics Research 35(5), 528–564 (Apr 2016).

Falsification of Autonomous Systems in Rich Environments The International Journal of Robotics Research 35(5), 528–564 (Apr 2016)

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.322026Z

Source-reported events for the cited work

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

Observation db1455c4-ffdd-4bfe-ae93-6987c7391ce2 · outbound

This paper cites In: Ang, M.H., Khatib, O., Siciliano, B.

Falsification of Autonomous Systems in Rich Environments In: Ang, M.H., Khatib, O., Siciliano, B

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.310659Z

Source-reported events for the cited work

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

Observation e549d479-f40c-4723-a1ba-2878f9c7ce78 · outbound

This paper cites The International Journal of Robotics Research 20(5), 378–400 (May 2001).

Falsification of Autonomous Systems in Rich Environments The International Journal of Robotics Research 20(5), 378–400 (May 2001)

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.299166Z

Source-reported events for the cited work

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

Observation 5541099a-e9e1-40da-bb86-5ea5386f18ea · outbound

This paper cites The International Journal of Robotics Research 21(3), 233–255 (Mar 2002).

Falsification of Autonomous Systems in Rich Environments The International Journal of Robotics Research 21(3), 233–255 (Mar 2002)

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.286748Z

Source-reported events for the cited work

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

Observation 02fa27d7-84c1-40f2-b428-762937871b9f · outbound

This paper cites IEEE Transactions on Robotics 28(1), 116–131 (Feb 2012).

Falsification of Autonomous Systems in Rich Environments IEEE Transactions on Robotics 28(1), 116–131 (Feb 2012)

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.272417Z

Source-reported events for the cited work

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

Observation 948052fd-167f-4dd4-8535-cef1cff0d32d · outbound

This paper cites In: Software Challenges in Formal Methods for Robotics (FMR) Workshop, in Conjunction with ICRA 2024.

Falsification of Autonomous Systems in Rich Environments In: Software Challenges in Formal Methods for Robotics (FMR) Workshop, in Conjunction with ICRA 2024

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.259759Z

Source-reported events for the cited work

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

Observation 84d4d03d-d47b-4155-a11c-ed9a5ee970b1 · outbound

This paper cites an unresolved cited work.

Falsification of Autonomous Systems in Rich Environments Unresolved cited work

Reference 69

Resolution: unresolved; raw_fallback, observed 2026-08-11T05:12:54.247795Z

Source-reported events for the cited work

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

Observation 0d248ba2-8ebd-4bfb-9427-fcfb5929c64f · outbound

This paper cites Journal of Machine Learning Research 22(268), 1–8 (2021).

Falsification of Autonomous Systems in Rich Environments Journal of Machine Learning Research 22(268), 1–8 (2021)

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.234738Z

Source-reported events for the cited work

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

Observation e20bbd49-dba3-4c5d-9d4e-06247f6256b1 · outbound

This paper cites re-root the tree,.

Falsification of Autonomous Systems in Rich Environments re-root the tree,

Reference 71

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T05:12:54.221858Z

Source-reported events for the cited work

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

Coverage vector

Reference resolution

Outbound references

Pith citing papers