Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study. - Marco A. Feliú; Camilo Rocha; Swee Balachandran (SPIN, 2017)

Inspection of electrical transmission structures with UAV path conformance and lidar-based geofences. - Andrew J. Moore; Matthew Schubert; Nicholas Rymer; Swee Balachandran; Maria Consiglio; César A. Muñoz; Joshua Smith; Dexter Lewis; Paul Schneide (ISGT, 2018)

From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. - Aaron Dutle; César A. Muñoz; Esther Conrad; Alwyn Goodloe; Laura Titolo; Ivan Perez 001; Swee Balachandran; Dimitra Giannakopoulou; Anastasia Mavridou; Thomas Pressburger (FMAS, 2020)

Towards an implementation of differential dynamic logic in PVS. - J. Tanner Slagel; César A. Muñoz; Swee Balachandran; Mariano M. Moscato; Aaron Dutle; Paolo Masci 001; Lauren M. White (SOAP@PLDI, 2022)

Embedding Differential Dynamic Logic in PVS. - J. Tanner Slagel; Mariano M. Moscato; Lauren M. White; César A. Muñoz; Swee Balachandran; Aaron Dutle (LSFA/HCVS, 2023)