Login / Signup
Swee Balachandran
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 4
Top Topics
Case Study
Timed Automata
Dynamic Logic
Power Transmission
Top Venues
SOAP@PLDI
ISGT
SPIN
FMAS
</>
Publications
</>
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)