Name
Title | ||
|---|---|---|
Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata. |
Year | DOI | Venue |
|---|---|---|
2022 | 10.1007/978-3-030-94583-1_23 | VMCAI |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 6 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Yuming Wu | 1 | 2 | 2.09 |
| Lei Bu | 2 | 3 | 2.83 |
| Jiawan Wang | 3 | 0 | 1.69 |
| Xinyue Ren | 4 | 0 | 0.68 |
| Wen Xiong | 5 | 21 | 5.10 |
| Xuandong Li | 6 | 0 | 1.01 |