Falsification of Cyber-Physical Systems Using Deep Reinforcement
Learning

Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning

1 May 2018

Yoriyuki Yamagata

Jianye Hao

ArXiv (abs)PDF HTML

Papers citing "Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning"

9 / 9 papers shown

Title
Requirement falsification for cyber-physical systems using generative models J. Peltomäki Ivan Porres 52 6 0 31 Oct 2023
A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks Xiao Li Yao Ma C. Belta 62 59 0 27 Sep 2017
Reinforcement Learning With Temporal Logic Rewards Xiao Li C. Vasile C. Belta 79 219 0 11 Dec 2016
Continuous Deep Q-Learning with Model-based Acceleration S. Gu Timothy Lillicrap Ilya Sutskever Sergey Levine 94 1,013 0 02 Mar 2016
Asynchronous Methods for Deep Reinforcement Learning Volodymyr Mnih Adria Puigdomenech Badia M. Berk Mirza Alex Graves Timothy Lillicrap Tim Harley David Silver Koray Kavukcuoglu 210 8,881 0 04 Feb 2016
Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning Austin M. Jones Derya Aksaray Z. Kong Mac Schwager C. Belta 31 20 0 22 Oct 2015
Playing Atari with Deep Reinforcement Learning Volodymyr Mnih Koray Kavukcuoglu David Silver Alex Graves Ioannis Antonoglou Daan Wierstra Martin Riedmiller 132 12,272 0 19 Dec 2013
On the Robustness of Temporal Properties for Stochastic Models E. Bartocci Luca Bortolussi L. Nenzi G. Sanguinetti 73 59 0 03 Sep 2013
MDP Optimal Control under Temporal Logic Constraints X. Ding Stephen L. Smith C. Belta Daniela Rus 93 80 0 22 Mar 2011