Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components | Paper Citation Record

Observation d8081cf4-899b-4e0d-a930-06c932b7a17a · outbound

This paper cites NHTSA Federal Automated Vehicles Pol- icy,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components NHTSA Federal Automated Vehicles Pol- icy,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.659795Z

Source-reported events for the cited work

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

Observation 2b0697c9-f55b-4421-a2cf-ca3d85f7ca97 · outbound

This paper cites Guidelines for safe on-road testing of sae level 3, 4, and 5 prototype automated driving systems (ADS), document j3018 201503,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Guidelines for safe on-road testing of sae level 3, 4, and 5 prototype automated driving systems (ADS), document j3018 201503,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.639086Z

Source-reported events for the cited work

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

Observation 4f3a5ec9-5645-43da-b54f-a6db39886753 · outbound

This paper cites Key considerations in the development of driving automation systems,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Key considerations in the development of driving automation systems,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.621384Z

Source-reported events for the cited work

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

Observation 49082f42-42a5-4781-a06b-3496bed84947 · outbound

This paper cites Euro NCAP,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Euro NCAP,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.599953Z

Source-reported events for the cited work

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

Observation 47ea5c24-740c-4168-a14e-72ed27c16a76 · outbound

This paper cites Pegasus,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Pegasus,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.582447Z

Source-reported events for the cited work

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

Observation d71ce514-85de-44e4-8d55-3706cd312035 · outbound

This paper cites Testing of advanced driver assistance towards automated driving: A survey and taxonomy on existing approaches and open questions,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Testing of advanced driver assistance towards automated driving: A survey and taxonomy on existing approaches and open questions,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.562637Z

Source-reported events for the cited work

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

Observation f24c93b6-634a-4422-b55f-c14da784119a · outbound

This paper cites The sleepwalker framework: Veriﬁcation and validation of autonomous vehicles by mixed reality lidar stimulation,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components The sleepwalker framework: Veriﬁcation and validation of autonomous vehicles by mixed reality lidar stimulation,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.546497Z

Source-reported events for the cited work

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

Observation 2ef744c5-3b5e-40d4-b875-19d181ab1f3d · outbound

This paper cites Challenges in autonomous vehicle testing and validation,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Challenges in autonomous vehicle testing and validation,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-14T15:28:58.363457Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94662b01-8849-44c9-869b-f3b77138fd4b · outbound

This paper cites The Mobile Revolution - Machine Intelligence for Autonomous Vehicles (Dagstuhl Seminar 15462),.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components The Mobile Revolution - Machine Intelligence for Autonomous Vehicles (Dagstuhl Seminar 15462),

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.527386Z

Source-reported events for the cited work

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

Observation f9ba65a5-0657-45c8-8b04-ae9305b9477e · outbound

This paper cites The worst-time- to-collision metric for situation identiﬁcation,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components The worst-time- to-collision metric for situation identiﬁcation,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.503150Z

Source-reported events for the cited work

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

Observation 98b29fd5-7758-4494-8942-4bdcd616c7c0 · outbound

This paper cites Are we ready for autonomous driving? the kitti vision benchmark suite,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Are we ready for autonomous driving? the kitti vision benchmark suite,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.478468Z

Source-reported events for the cited work

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

Observation 784c06ff-d7a2-488a-96bf-bd0d8c5416e6 · outbound

This paper cites SqueezeDet: Uniﬁed, small, low power fully convolutional neural networks for real-time object detection for autonomous driving,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components SqueezeDet: Uniﬁed, small, low power fully convolutional neural networks for real-time object detection for autonomous driving,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.453628Z

Source-reported events for the cited work

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

Observation e8436c9c-dd08-498e-8fb7-25c8cf3d4299 · outbound

This paper cites Alvinn: An autonomous land vehicle in a neural network,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Alvinn: An autonomous land vehicle in a neural network,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.429028Z

Source-reported events for the cited work

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

Observation 1ebc74b0-be7c-4363-a8c5-8f5ac67dc111 · outbound

This paper cites DeepDriving: Learning affordance for direct perception in autonomous driving,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components DeepDriving: Learning affordance for direct perception in autonomous driving,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.403508Z

Source-reported events for the cited work

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

Observation c5ce807f-1bc9-4666-86ff-946bc022a76e · outbound

This paper cites Deep Steering: Learning End-to-End Driving Model from Spatial and Temporal Visual Cues.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Deep Steering: Learning End-to-End Driving Model from Spatial and Temporal Visual Cues

Reference 15

Resolution: verified exact; local_arxiv, observed 2026-08-14T15:28:58.950174Z

Source-reported events for the cited work

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

Observation cf9f3327-1997-4e21-a611-e19a1639f3ee · outbound

This paper cites Deep predictive models for collision risk assessment in autonomous driving,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Deep predictive models for collision risk assessment in autonomous driving,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.381955Z

Source-reported events for the cited work

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

Observation d92abd50-8aba-4d82-a3a5-872fd98c37cd · outbound

This paper cites Imagenet classiﬁcation with deep convolutional neural networks,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Imagenet classiﬁcation with deep convolutional neural networks,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-14T15:28:58.420155Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation deb5dd66-411c-4ce2-b107-fb9b09eef097 · outbound

This paper cites Deeptest: Automated testing of deep-neural-network-driven autonomous cars,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Deeptest: Automated testing of deep-neural-network-driven autonomous cars,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.347004Z

Source-reported events for the cited work

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

Observation b4a02eb3-b4e7-4475-856a-4901fd47341a · outbound

This paper cites Practical black-box attacks against machine learning,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Practical black-box attacks against machine learning,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.326543Z

Source-reported events for the cited work

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

Observation c62a3ae1-2e2d-459a-8b1b-4fbe88155174 · outbound

This paper cites Feature-guided black- box safety testing of deep neural networks,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Feature-guided black- box safety testing of deep neural networks,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.306490Z

Source-reported events for the cited work

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

Observation 7a677f5c-9ea9-4b90-bb1c-bfa40bd4f359 · outbound

This paper cites Software and hardware testing using combinatorial cov- ering suites,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Software and hardware testing using combinatorial cov- ering suites,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.280237Z

Source-reported events for the cited work

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

Observation bde21215-647b-4369-b222-3bb4147577b2 · outbound

This paper cites Probabilistic temporal logic falsiﬁcation of cyber-physical systems,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Probabilistic temporal logic falsiﬁcation of cyber-physical systems,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.255530Z

Source-reported events for the cited work

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

Observation 6c7e84a3-8673-4699-ae7d-1923c795be88 · outbound

This paper cites Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.228713Z

Source-reported events for the cited work

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

Observation bcac17ce-fa6a-49eb-a3cb-e8508f378049 · outbound

This paper cites S-TaLiRo: A tool for temporal logic falsiﬁcation for hybrid systems,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components S-TaLiRo: A tool for temporal logic falsiﬁcation for hybrid systems,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.198579Z

Source-reported events for the cited work

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

Observation 516511d1-cfb5-4418-b473-87fdaef25493 · outbound

This paper cites Description of light-vehicle pre-crash scenarios for safety applications based on vehicle-to-vehicle communications,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Description of light-vehicle pre-crash scenarios for safety applications based on vehicle-to-vehicle communications,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.170070Z

Source-reported events for the cited work

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

Observation a22b3300-4072-4eed-9e67-f3b48d1b1bbd · outbound

This paper cites TrafﬁcNet: An open naturalistic driving scenario library,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components TrafﬁcNet: An open naturalistic driving scenario library,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.145085Z

Source-reported events for the cited work

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

Observation 3fefffd4-2985-4913-b909-eee58c83bd93 · outbound

This paper cites Accelerated evaluation of automated vehicles safety in lane-change scenarios based on importance sampling techniques,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Accelerated evaluation of automated vehicles safety in lane-change scenarios based on importance sampling techniques,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.123725Z

Source-reported events for the cited work

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

Observation 25b25700-18e5-4a8b-bb70-8bab645005a4 · outbound

This paper cites Adaptive cruise control: Hybrid, distributed, and now formally veriﬁed,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Adaptive cruise control: Hybrid, distributed, and now formally veriﬁed,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.099678Z

Source-reported events for the cited work

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

Observation b479a695-3781-4750-9a70-3c394452d809 · outbound

This paper cites Safety veriﬁcation of autonomous vehicles for coordinated evasive maneuvers,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Safety veriﬁcation of autonomous vehicles for coordinated evasive maneuvers,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.078886Z

Source-reported events for the cited work

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

Observation 44e5d234-56a5-495d-b72b-440e414c8f32 · outbound

This paper cites Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.044294Z

Source-reported events for the cited work

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

Observation 82a0357a-b44c-4228-8136-470cfc9e140d · outbound

This paper cites Rapidly-exploring random trees for testing automated vehicles,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Rapidly-exploring random trees for testing automated vehicles,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:29:00.010591Z

Source-reported events for the cited work

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

Observation 4ac93e5b-2f17-4b27-8875-a7cb10835bdd · outbound

This paper cites Automatic generation of safety-critical test scenarios for collision avoidance of road vehicles,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Automatic generation of safety-critical test scenarios for collision avoidance of road vehicles,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.989016Z

Source-reported events for the cited work

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

Observation fc4ae2c2-2181-46e0-9d90-6cf77d1b7c4e · outbound

This paper cites Functional gradient descent optimization for automatic test case generation for vehicle controllers,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Functional gradient descent optimization for automatic test case generation for vehicle controllers,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.966225Z

Source-reported events for the cited work

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

Observation 207405a3-cb44-4a3c-a2df-8b7e5b4cb80f · outbound

This paper cites Computer-aided design for safe autonomous vehicles,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Computer-aided design for safe autonomous vehicles,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.946266Z

Source-reported events for the cited work

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

Observation 39784725-c798-4572-8266-f00b3a13e2ca · outbound

This paper cites Testing autonomous vehicle software in the virtual prototyping environment,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Testing autonomous vehicle software in the virtual prototyping environment,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.924743Z

Source-reported events for the cited work

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

Observation ba7bf11b-9a6a-463c-bef4-37c7f1b386c7 · outbound

This paper cites The SMT-based automatic road network generation in vehicle simulation environment,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components The SMT-based automatic road network generation in vehicle simulation environment,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.898839Z

Source-reported events for the cited work

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

Observation 58389354-b550-4fe3-9609-29a8e27c1165 · outbound

This paper cites Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.876531Z

Source-reported events for the cited work

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

Observation 2a0c742a-aa66-4b2a-8d8e-61fe77be923a · outbound

This paper cites APEX: Autonomous vehicle plan veriﬁcation and execution,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components APEX: Autonomous vehicle plan veriﬁcation and execution,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.850000Z

Source-reported events for the cited work

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

Observation 9965c9a8-4ba6-44de-ac61-d27735edbfc8 · outbound

This paper cites A committee of neural networks for trafﬁc sign classiﬁcation,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components A committee of neural networks for trafﬁc sign classiﬁcation,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.823795Z

Source-reported events for the cited work

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

Observation 56e994f2-fe66-4a0d-a957-6a086cff858d · outbound

This paper cites Trafﬁc light recognition in varying illumination using deep learning and saliency map,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Trafﬁc light recognition in varying illumination using deep learning and saliency map,

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.792661Z

Source-reported events for the cited work

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

Observation 04edbc37-7e38-4f24-ba4e-21fd85222b7f · outbound

This paper cites Pedestrian detection with a large-ﬁeld-of-view deep network,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Pedestrian detection with a large-ﬁeld-of-view deep network,

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.757813Z

Source-reported events for the cited work

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

Observation 6994c7ab-14c9-4e92-b07b-71f1661b97a3 · outbound

This paper cites Learning and veriﬁcation of feedback control systems using feedforward neural net- works,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Learning and veriﬁcation of feedback control systems using feedforward neural net- works,

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.737608Z

Source-reported events for the cited work

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

Observation 033a8420-34c5-4d74-8e3a-1f503f73c874 · outbound

This paper cites Compositional falsication of cyber-physical systems with machine learning components,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Compositional falsication of cyber-physical systems with machine learning components,

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.715754Z

Source-reported events for the cited work

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

Observation 35c8cc1a-9eb3-42a9-bd83-eb7c31bc0121 · outbound

This paper cites Semantic adversarial deep learning,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Semantic adversarial deep learning,

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.680064Z

Source-reported events for the cited work

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

Observation cc9df121-a5ab-4e9f-ab60-651f75a19e5e · outbound

This paper cites Safe at any speed: A simulation-based test harness for autonomous vehicles,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Safe at any speed: A simulation-based test harness for autonomous vehicles,

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.657646Z

Source-reported events for the cited work

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

Observation b534a0a4-2aa4-4960-9825-8a180929f3b1 · outbound

This paper cites Alur, Principles of Cyber-Physical Systems.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Alur, Principles of Cyber-Physical Systems

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-14T15:28:58.610011Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a88041c-73ae-4a8a-988d-09a7252d420d · outbound

This paper cites Robustness-guided temporal logic testing and veriﬁcation for stochastic cyber-physical systems,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Robustness-guided temporal logic testing and veriﬁcation for stochastic cyber-physical systems,

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.615535Z

Source-reported events for the cited work

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

Observation dfb20c58-219d-466f-83b4-570ddfbd4b7d · outbound

This paper cites Speciﬁcation-based monitoring of cyber-physical systems: A survey on theory, tools and applications,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Speciﬁcation-based monitoring of cyber-physical systems: A survey on theory, tools and applications,

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.573894Z

Source-reported events for the cited work

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

Observation 9b395f98-552b-4630-b12e-06b08d301674 · outbound

This paper cites Robustness of temporal logic spec- iﬁcations for continuous-time signals,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Robustness of temporal logic spec- iﬁcations for continuous-time signals,

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.548066Z

Source-reported events for the cited work

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

Observation 2ed3541e-01e3-411b-9ee1-0ed382aa3be7 · outbound

This paper cites Boyd and L.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Boyd and L

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-14T15:28:58.639483Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c3c750c-24a0-46c5-a96d-ba73a0283f12 · outbound

This paper cites What’s decidable about hybrid automata?.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components What’s decidable about hybrid automata?

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.489837Z

Source-reported events for the cited work

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

Observation 4019d591-8f15-4025-9fa1-6a22756729a9 · outbound

This paper cites Towards formal speciﬁcation visualization for testing and monitoring of cyber-physical systems,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Towards formal speciﬁcation visualization for testing and monitoring of cyber-physical systems,

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.464883Z

Source-reported events for the cited work

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

Observation 03079786-2cde-4553-a923-aa34cf48fca1 · outbound

This paper cites Simulation- based approaches for veriﬁcation of embedded control systems: An overview of traditional and advanced modeling, testing, and veriﬁcation techniques,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Simulation- based approaches for veriﬁcation of embedded control systems: An overview of traditional and advanced modeling, testing, and veriﬁcation techniques,

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.436613Z

Source-reported events for the cited work

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

Observation afb200e6-90a4-4a99-ab4e-a310f757654f · outbound

This paper cites an unresolved cited work.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Unresolved cited work

Reference 54

Resolution: unresolved; raw_fallback, observed 2026-08-14T15:28:59.407812Z

Source-reported events for the cited work

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

Observation 2047037d-b54a-4431-97f2-119790e73603 · outbound

This paper cites On a Formal Model of Safe and Scalable Self-driving Cars.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components On a Formal Model of Safe and Scalable Self-driving Cars

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-14T15:28:58.684077Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21d367e5-53c1-4f25-8a8c-700d6f14fd39 · outbound

This paper cites Comparison and evaluation of advanced motion models for vehicle tracking,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Comparison and evaluation of advanced motion models for vehicle tracking,

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.372734Z

Source-reported events for the cited work

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

Observation ecef8e55-242e-4951-972e-1ffd03d80a3f · outbound

This paper cites Advanced surrogate target development for evaluating pre-collision systems,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Advanced surrogate target development for evaluating pre-collision systems,

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.353015Z

Source-reported events for the cited work

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

Observation fee94fa6-7c96-440a-899f-6078e88f2062 · outbound

This paper cites Model based vehicle detection and tracking for autonomous urban driving,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Model based vehicle detection and tracking for autonomous urban driving,

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.335377Z

Source-reported events for the cited work

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

Observation 8e8c2fba-6787-4653-94ca-de2015554a98 · outbound

This paper cites Evidence based evaluation method for grid-based environmental representation,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Evidence based evaluation method for grid-based environmental representation,

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.302395Z

Source-reported events for the cited work

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

Observation d349a26e-8706-4b4e-b2ea-f449d2a9d18b · outbound

This paper cites ISO Functional Safety,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components ISO Functional Safety,

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.274669Z

Source-reported events for the cited work

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

Observation a59ad34e-20e4-42cd-84c7-d5d26bbdefd9 · outbound

This paper cites In the passenger seat: Inves- tigating ride comfort measures in autonomous cars,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components In the passenger seat: Inves- tigating ride comfort measures in autonomous cars,

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.243831Z

Source-reported events for the cited work

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

Observation 67a15356-6982-488d-a2be-3a504886b30d · outbound

This paper cites Motion sickness and concerns for self-driving vehi- cles: A literature review,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Motion sickness and concerns for self-driving vehi- cles: A literature review,

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.214493Z

Source-reported events for the cited work

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

Observation 7fbf3602-3abc-4b38-8716-454c936a3753 · outbound

This paper cites An efﬁcient algorithm for monitoring practical tptl speciﬁcations,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components An efﬁcient algorithm for monitoring practical tptl speciﬁcations,

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.187438Z

Source-reported events for the cited work

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

Observation 27a8ce03-9d2c-4bee-9499-754e100b2db2 · outbound

This paper cites Cyberbotics ltd. Webots: professional mobile robot simula- tion,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Cyberbotics ltd. Webots: professional mobile robot simula- tion,

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.138342Z

Source-reported events for the cited work

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

Observation c985d7d5-5b71-45d1-b56c-d3af9be0c230 · outbound

This paper cites TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-14T15:28:58.761962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 651e50b8-1a0c-4c76-b444-00c453e326cf · outbound

This paper cites A density-based algorithm for discovering clusters in large spatial databases with noise.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components A density-based algorithm for discovering clusters in large spatial databases with noise

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-14T15:28:58.770479Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 230579c0-1000-4a21-b178-1afe37262c91 · outbound

This paper cites Dbscan revisited, revisited: why and how you should (still) use dbscan,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Dbscan revisited, revisited: why and how you should (still) use dbscan,

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.101697Z

Source-reported events for the cited work

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

Observation 815e528e-df25-4fb5-9540-7f68be663e78 · outbound

This paper cites The unscented kalman ﬁlter for nonlinear estimation,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components The unscented kalman ﬁlter for nonlinear estimation,

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.074551Z

Source-reported events for the cited work

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

Observation a33f8330-5481-42f8-a8ce-f8f9ac6eace1 · outbound

This paper cites Breach, a toolbox for veriﬁcation and parameter synthesis of hybrid systems,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Breach, a toolbox for veriﬁcation and parameter synthesis of hybrid systems,

Reference 69

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.041607Z

Source-reported events for the cited work

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

Observation c6573a29-1c94-4ae5-95a3-10d9c5e64370 · outbound

This paper cites Counterexample-guided data augmentation,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components Counterexample-guided data augmentation,

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:59.019748Z

Source-reported events for the cited work

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

Observation 3337a66a-3355-48cd-9ebf-43a22340fd66 · outbound

This paper cites CARLA: An open urban driving simulator,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components CARLA: An open urban driving simulator,

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-14T15:28:58.807623Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0472940f-9e90-46df-b849-8939efd2e476 · outbound

This paper cites VISPEC: A graphical tool for elicitation of MTL requirements,.

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components VISPEC: A graphical tool for elicitation of MTL requirements,

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T15:28:58.971111Z

Source-reported events for the cited work

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

Coverage vector

Reference resolution

Outbound references

Pith citing papers