Formal verification of stochastic systems with relu neural network controllers
In this work, we address the problem of formal safety verification for stochastic cyber-
physical systems (CPS) equipped with ReLU neural network (NN) controllers. Our goal is to …
physical systems (CPS) equipped with ReLU neural network (NN) controllers. Our goal is to …
[KNJIGA][B] Using Intelligent Anticipation to Improve Error-prone Communication in Social Robots
JF Marulanda - 2020 - search.proquest.com
This dissertation is centered on the study of anticipation behaviors based on Artificial
Intelligence (AI) strategies as a method to improve the behavior of groups of autonomous …
Intelligence (AI) strategies as a method to improve the behavior of groups of autonomous …
Formal Verification of Stochastic ReLU Neural Network Control System
S Sun - 2020 - search.proquest.com
In this work, we address the problem of formal safety verification for stochastic cyber-
physical systems (CPS) equipped with ReLU neural network (NN) controllers. Our goal is to …
physical systems (CPS) equipped with ReLU neural network (NN) controllers. Our goal is to …