1 paper
Atanu Kundu, Pratyay Sarkar, Rajarshi Ray
Reachability analysis of compositional hybrid systems, where individual components are modeled as hybrid automata, poses unique challenges. In addition to preserving the compositio…