Swee Balachandran

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 5

Top Topics

Automatic Processing

Sufficient Conditions

Top Venues

Publications

J. Tanner Slagel, Mariano M. Moscato, Lauren M. White, César A. Muñoz, Swee Balachandran, Aaron Dutle
Embedding Differential Dynamic Logic in PVS. CoRR (2024)
J. Tanner Slagel, César Muñoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren White
Towards an implementation of differential dynamic logic in PVS. SOAP@PLDI (2022)
Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. FMAS (2020)
Andrew J. Moore, Matthew Schubert, Nicholas Rymer, Swee Balachandran, Maria Consiglio, César Muñoz, Joshua Smith, Dexter Lewis, Paul Schneide
Inspection of electrical transmission structures with UAV path conformance and lidar-based geofences. ISGT (2018)
Marco A. Feliú, Camilo Rocha, Swee Balachandran
Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study. SPIN (2017)