Hisahiro Ito

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 8

Top Topics

Structured Environments

Autonomous Vehicles

Mazurkiewicz Traces

Top Venues

IEEE Trans. Intell. Veh.

Publications

Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski
Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components. IEEE Trans. Intell. Veh. 5 (2) (2020)
Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski
Interface-aware signal temporal logic. HSCC (2019)
Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski
Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components. CoRR (2019)
Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski
Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. CoRR (2018)
Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh
Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems. CoRR (2018)
Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski
Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. Intelligent Vehicles Symposium (2018)
Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski
Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles. HSCC (2018)
Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh
Reasoning about safety of learning-enabled components in autonomous cyber-physical systems. DAC (2018)
Jyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Kenneth R. Butts, Jürgen Gerhard, Behzad Samadi, Kevin Walker, Yuzhen Xie
Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark. ARCH@CPSWeek (2015)
James Kapinski, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Hisahiro Ito, Kenneth R. Butts
Simulation-guided approaches for verification of automotive powertrain control systems. ACC (2015)
Hisahiro Ito, Akira Ohata, Kenneth R. Butts, Jürgen Gerhard, Masoud Abbaszadeh, David Linder, Erik Postman, Elena Shmoylova
Equation-Based Model Data Structure for High Level Physical Modelling, Model Simplification and Modelica-Export. EOOLT (2011)