Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components.

C. Tuncali, G. Fainekos, H. Ito, and J. Kapinski. Intelligent Vehicles Symposium, page 1555-1562. IEEE, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Ito, Hisahiro

add a person with the name Ito, Hisahiro

Other publications of authors with the same name

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components.C. Tuncali, G. Fainekos, H. Ito, and J. Kapinski. Intelligent Vehicles Symposium, page 1555-1562. IEEE, (2018)Interface-aware signal temporal logic.T. Ferrère, D. Nickovic, A. Donzé, H. Ito, and J. Kapinski. HSCC, page 57-66. ACM, (2019)Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components.C. Tuncali, G. Fainekos, D. Prokhorov, H. Ito, and J. Kapinski. CoRR, (2019)Reasoning about safety of learning-enabled components in autonomous cyber-physical systems.C. Tuncali, J. Kapinski, H. Ito, and J. Deshmukh. DAC, page 30:1-30:6. ACM, (2018)Equation-Based Model Data Structure for High Level Physical Modelling, Model Simplification and Modelica-Export.H. Ito, A. Ohata, K. Butts, J. Gerhard, M. Abbaszadeh, D. Linder, E. Postman, and E. Shmoylova. EOOLT, volume 56 of Linköping Electronic Conference Proceedings, page 27-34. Linköping University Electronic Press, (2011)Simulation-guided approaches for verification of automotive powertrain control systems.J. Kapinski, J. Deshmukh, X. Jin, H. Ito, and K. Butts. ACC, page 4086-4095. IEEE, (2015)Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark.J. Deshmukh, H. Ito, X. Jin, J. Kapinski, K. Butts, J. Gerhard, B. Samadi, K. Walker, and Y. Xie. ARCH@CPSWeek, volume 34 of EPiC Series in Computing, page 98-112. EasyChair, (2015)Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles.C. Tuncali, G. Fainekos, H. Ito, and J. Kapinski. HSCC, page 283-284. ACM, (2018)

PUMA

Disambiguation of "Ito, Hisahiro"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components.

Please choose a person to relate this publication to

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Ito, Hisahiro"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components.

Please choose a person to relate this publication to

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components.