Research
Papers
LeanLTL: A unifying framework for linear temporal logics in Lean
To appear at ITP
2025,
(16th International Conference on Interactive Theorem Proving)
Short Paper
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
CAV
2023,
(35th International Conference on Computer-Aided Verification)
Tool Paper
Tackling Simulation Inconsistencies in the Robot Design Process by Selective Empirical Evaluation
DESTION
2023,
(5th Workshop on Design Automation for CPS and IoT)
Workshop Paper
Symbiotic CPS Design-Space Exploration through Iterated Optimization
DESTION
2023,
(5th Workshop on Design Automation for CPS and IoT)
Workshop Paper
Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
CAV
2022,
(34th International Conference on Computer-Aided Verification)
Conference Paper
* The two first authors contributed equally to the paper.
A Novel IoT System For Patient-Centric Pressure Ulcer Prevention Using Sensor Embedded Dressings
PerCom
2022,
(IEEE International Conference on Pervasive Computing and Communications)
WIP Paper
Labelled Control Improvisation
University of California Santa Cruz
2021
Bachelor's Thesis
An IoT System for Autonomous, Continuous, Real-Time Patient Monitoring and Its Application to Pressure Injury Management
ICDH
2021,
(IEEE International Conference on Digital Health)
Conference Paper
An IoT-Based System for Autonomous, Continuous, Real-Time Patient Monitoring and Its Application to Pressure Injury Management
DCOSS
2021,
(IEEE International Conference on Distributed Computing in Sensor Systems)
Poster Paper
Note: Extended in conference paper above.