MS Proposal by Taehwan Seo

Primary tabs

Taehwan Seo
(Advisor: Prof. Kyriakos G. Vamvoudakis)

will propose a master’s thesis entitled,

Verification of Adversarially Robust Reinforcement Learning

Mechanisms in Autonomous Systems


 Monday, October 4 at 11:00 a.m.
Montgomery Knight 325



Growing implementation of Artificial Intelligence(AI) on autonomous dynamical systems motivates the performance measurement of the AI model with verification. The performance and safety over the Cyber-Physical System(CPS) are subject to cyberattacks that intend to fail the system in operation or to interrupt the system from learning by modulation of learning data. For the safety and reliability scheme, verifying the impact of attacks on the CPS with learning system is critical. This thesis proposal focuses on proposing one verification framework of adversarially robust Reinforcement Learning (RL) policy using the software toolkit ‘VerifAI’, providing robustness measures over adversarial attack perturbations. This allows am algorithm engineer would be equipped with an RL control model verification toolbox that may be used to evaluate the reliability of any given attack mitigation algorithm and performance of nonlinear control algorithms over their objectives. For this specified work, we developed the attack mitigating RL on nonlinear dynamics by interconnection of off-policy RL and on-off adversarially robust mechanism. After that, we connected with simulation and verification toolkit for testing of both verification framework and integrated algorithm. This proposal is expected to return the sample robustness measures and analysis of the effectiveness over adversarially robust learning method. The work will describe each component in detail, interconnection method with verification toolkit, application to simulations as testbed. Possible set of simulation were also be proposed to test out the designed framework.


  • Prof. Kyriakos G. Vamvoudakis – School of Aerospace Engineering (advisor)
  • Prof. Dimitiri Mavris– School of Aerospace Engineering
  • Prof. Yongxin Chen – School of Aerospace Engineering



  • Workflow Status:
  • Created By:
    Tatianna Richardson
  • Created:
  • Modified By:
    Tatianna Richardson
  • Modified:


Target Audience

    No target audience selected.