| emsoft | participants

Stanley Bak

Program Committees:
2019, 2020, 2021, and 2022
.

EMSOFT 2019: 19th International Conference on Embedded Software

Aggregation Strategies in Reachable Set Computation of Hybrid Systems

Parasara Sridhar Duggirala and Stanley Bak

EMSOFT 2016: 16th International Conference on Embedded Software

Verifying Cyber-Physical Systems by Combining Software Model Checking with Hybrid Systems Reachability

Stanley Bak and Sagar Chaki