1–4 von 4 Ergebnissen
|

    Coasting Technology for Real-World Fuel Economy Improvement of a Hybrid Vehicle

    Yamaguchi, Tomoya | British Library Conference Proceedings | 2020

      Coasting Technology for Real-World Fuel Economy Improvement of a Hybrid Vehicle

      Yamaguchi, Tomoya | British Library Conference Proceedings | 2020

    Validation of Control Software by Search-Based Testing Using Formal Methods

    Kobuna, Shunsuke / Yamaguchi, Tomoya / Kaga, Tomoyuki | SAE Technical Papers | 2016

    Runtime Assurance for Autonomous Driving with Neural Reachability

    Bogomolov, Sergiy / Hekal, Abdelrahman / Hoxha, Bardh et al. | IEEE | 2022

    ST-Lib: A Library for Specifying and Classifying Model Behaviors

    Donze, Alexandre / Ito, Hisahiro / Kapinski, James et al. | SAE Technical Papers | 2016