Homepage
About SEG
SEG News
SEG Seminar
Research
Tools
Internal Site
People
Publication
Curriculum
Album
Hot Link
Contact SEG
[
Accepted
] [2026] [
2025
] [
2024
]
Selected Publications
International Journal
Yuhui Shi，Yuming Wu，Lei Bu，Xuandong Li. Checking Bounded Reachability of Compositional Linear Hybrid Automata Using Interaction Relations. In
ACM
,
download
Chinese Journal
N/A
International Conference & Workshop
N/A
