1,720,996 research outputs found
Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control
No full textFormal verification of neural networks is a promising technique to improve their dependability for safety critical applications. Autonomous driving is one such application where the controllers supervising different functions in a car should undergo a rigorous certification process. In this paper we present an example about learning and verification of an adaptive cruise control function on an autonomous car. We detail the learning process as well as the attempts to verify various safety properties using the tool NEVER2, a new framework that integrates learning and verification in a single easy-to-use package intended for practictioners rather than experts in formal methods and/or machine learning
Spontaneous exodus of high numbers of normal early progenitor cells (Ph-negative LTC-IC) in the peripheral blood of patients with chronic myeloid leukaemia at the beginning of the disease.
No full text
Applicazione della metodologia della continuazione numerica per la determinazione di biforcazioni locali e caos nei sistemi elettrici per l’energia
No full textContingency Ranking in electric power systems by the combined use of simulation and energy indices
No full text
Modeling of doubly fed induction generator (DFIG) equipped wind turbine for dynamics studies
No full textA Microturbine Model including its Control for the investigation of the effects of Distributed Generation in distribution networks
No full text- …
