Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components von Tuncali, Cumhur Erkan, Fainekos, Georgios, Prokhorov, Danil, Ito, Hisahiro, Kapinski, James

Volltext

Automatic Parallelization of Multirate Block Diagrams of Control Systems on Multicore Platforms von Tuncali, Cumhur Erkan, Fainekos, Georgios, Lee, Yann-Hang

Volltext

Experience Report: Application of Falsification Methods on the UxAS System von Tuncali, Cumhur Erkan, Hoxha, Bardh, Ding, Guohui, Fainekos, Georgios, Sankaranarayanan, Sriram

Volltext

A Tutorial on Sim-ATAV: Simulation-based Adversarial Testing Framework for Autonomous Vehicles von Tuncali, Cumhur Erkan

Volltext bestellen

Rapidly-exploring Random Trees-based Test Generation for Autonomous Vehicles von Tuncali, Cumhur Erkan, Fainekos, Georgios

Volltext bestellen

Model predictive adaptive cruise control for reducing rear-end collision risk with follower vehicles von Tuncali, Cumhur Erkan, Fainekos, Georgios, Pavlic, Theodore

Volltext bestellen

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components von Tuncali, Cumhur Erkan, Fainekos, Georgios, Ito, Hisahiro, Kapinski, James

Volltext bestellen

Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems von Tuncali, Cumhur Erkan, Kapinski, James, Ito, Hisahiro, Deshmukh, Jyotirmoy V

Volltext bestellen

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components von Tuncali, Cumhur Erkan, Fainekos, Georgios, Prokhorov, Danil, Ito, Hisahiro, Kapinski, James

Volltext bestellen

Systems and methods to automate entry/exit operations at facilities von Tuncali, Cumhur Erkan, Gourlay, Derek, Rivas Morales, Maria Fernanda, Thapar, Sidhartha Shankar, Subburathinam, Manjunath, Kuzia, Graham, Mahindru, Rahul, Jyoti, Manish, Bubb, Richard James, Howard, Laurie, Krokus, Ilya

Volltext bestellen

An Efficient Algorithm for Monitoring Practical TPTL Specifications von Dokhanchi, Adel, Hoxha, Bardh, Tuncali, Cumhur Erkan, Fainekos, Georgios

Volltext bestellen

MODEL PREDICTIVE ADAPTIVE CRUISE CONTROL FOR REDUCING REAR-END COLLISION RISK WITH FOLLOWER VEHICLES von Tuncali, Cumhur Erkan, Fainekos, Georgios, Pavlic, Theodore

Volltext bestellen

Modeling Concurrency and Reconfiguration in Vehicular Systems: A $\pi$-calculus Approach von Campbell, Joseph, Tuncali, Cumhur Erkan, Pavlic, Theodore P, Fainekos, Georgios

Volltext bestellen

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components von Tuncali, Cumhur Erkan, Fainekos, Georgios, Ito, Hisahiro, Kapinski, James

Volltext

Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems von Tuncali, Cumhur Erkan, Kapinski, James, Ito, Hisahiro, Deshmukh, Jyotirmoy V

Volltext

Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components von Tuncali, Cumhur Erkan, Fainekos, Georgios, Prokhorov, Danil, Ito, Hisahiro, Kapinski, James

Volltext

An Efficient Algorithm for Monitoring Practical TPTL Specifications von Dokhanchi, Adel, Hoxha, Bardh, Tuncali, Cumhur Erkan, Fainekos, Georgios

Volltext

Modeling Concurrency and Reconfiguration in Vehicular Systems: A \(\pi\)-calculus Approach von Campbell, Joseph, Tuncali, Cumhur Erkan, Pavlic, Theodore P, Fainekos, Georgios

Volltext