Software Engineering Institute

Aris Kanellopoulos (Georgia Institute of Technology)

Georgia Institute of Technology

All

A Modular Approach to Verification of Learning Components in Cyber-Physical Systems

January 19, 2023 • Conference Paper

By Lijing Zhai (Georgia Institute of Technology) , Aris Kanellopoulos (Georgia Institute of Technology) , Filippos Fotiadis (Georgia Institute of Technology) , Kyriakos G. Vamvoudakis (Georgia Institute of Technology) , Jerome Hugues

Impact of Sensor and Actuator Clock Offsets on Reinforcement Learning

January 19, 2023 • Conference Paper

By Filippos Fotiadis (Georgia Institute of Technology) , Aris Kanellopoulos (Georgia Institute of Technology) , Kyriakos G. Vamvoudakis (Georgia Institute of Technology) , Jerome Hugues

Towards Intelligent Security for Unmanned Aerial Vehicles: A Taxonomy of Attacks, Faults, and Detection Mechanisms

December 29, 2021 • Conference Paper

By Lijing Zhai (Georgia Institute of Technology) , Aris Kanellopoulos (Georgia Institute of Technology) , Filippos Fotiadis (Georgia Institute of Technology) , Kyriakos G. Vamvoudakis (Georgia Institute of Technology) , Jerome Hugues