Follow

Papers from 2017

PDF

Resilient Linear Classification: An Approach to Deal with Attacks on Training Data, Sangdon Park, James Weimer, and Insup Lee

Papers from 2016

PDF

Estimation of Blood Oxygen Content Using Context-Aware Filtering, Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan F. Simpao, Mohamed A. Rehman, George Pappas, and Insup Lee

PDF

Scalable Verification of Linear Controller Software, Junkil Park, Miroslav Pajic, Insup Lee, and Oleg Sokolsky

Papers from 2015

PDF

Robust Estimation Using Context-Aware Filtering, Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George Pappas, and Insup Lee

PDF

Attack-Resilient State Estimation in the Presence of Noise, Miroslav Pajic, Paulo Tabuada, Insup Lee, and George Pappas