Hisahiro Ito

According to our database1, Hisahiro Ito authored at least 8 papers between 2011 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components.
IEEE Trans. Intell. Veh., 2020

2019
Interface-aware signal temporal logic.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

2018
Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components.
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Reasoning about safety of learning-enabled components in autonomous cyber-physical systems.
Proceedings of the 55th Annual Design Automation Conference, 2018

2015
Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Simulation-guided approaches for verification of automotive powertrain control systems.
Proceedings of the American Control Conference, 2015

2011
Equation-Based Model Data Structure for High Level Physical Modelling, Model Simplification and Modelica-Export.
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011


  Loading...