An efficient robotic exploration planner with probabilistic guarantees. - Alexander Ivanov 002; Mark E. Campbell (ICRA, 2016)

An Extended Consideration of Joint Exploration and Tracking: JET. - Alexander Ivanov 002; Mark E. Campbell (CoRR, 2017)

Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control. - Jed Liu; Joe Corbett-Davies; Andrew Ferraiuolo; Alexander Ivanov 002; Mulong Luo; G. Edward Suh; Andrew C. Myers; Mark E. Campbell (CPS-SPC@CCS, 2018)

Secure Minimum Time Planning Under Environmental Uncertainty: an Extended Treatment. - Alexander Ivanov 002; Mark E. Campbell (CoRR, 2018)

Joint Exploration and Tracking: JET. - Alexander Ivanov 002; Mark E. Campbell (IEEE Control. Syst. Lett., 2018)

Uncertainty Constrained Robotic Exploration: An Integrated Exploration Planner. - Alexander Ivanov 002; Mark E. Campbell (IEEE Trans. Control. Syst. Technol., 2019)