Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning

no code implementations • 1 May 2018 • Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan, Jianye Hao

With the rapid development of software and distributed computing, Cyber-Physical Systems (CPS) are widely adopted in many application areas, e. g., smart grid, autonomous automobile.

Distributed Computing reinforcement-learning +1

Causality-Aided Falsification

no code implementations • 8 Sep 2017 • Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo

Falsification is drawing attention in quality assurance of heterogeneous systems whose complexities are beyond most verification techniques' scalability.

Stochastic Optimization