Incorporating Real-World Semantics into Program Analysis of Robot Systems

Evolution-Aware Runtime Verification

Probabilistic Reasoning Meets Heuristic Search

Intelligent Software Engineering: Synergy between AI and Software Engineering

Human-centered Computational Design driven by Perceptual Data and Creative AI

Revisiting Quantitative Approaches to System Design in the Power Age