SymAware: Symbolic Logic Framework for Situational Awareness in Mixed Autonomy
CodeCPS: Correct-by-Design Estimation and Control of Cyber-Physical Systems
Power and Energy Systems
Data-Driven Control