Collaborated with:Z.She A.Easwaran S.Feng M.Chen N.Zhan M.Fränzle
Talks about:delay (2) differenti (1) reachabl (1) backward (1) approxim (1) unbound (1) polytop (1) system (1) verif (1) under (1)
Person: Bai Xue 0001
DBLP: 0001:Bai_Xue
Contributed to:
20162019Wrote 2 papers:
- CAV-2016-XueSE #approximate #set
- Under-Approximating Backward Reachable Sets by Polytopes (BX0, ZS, AE), pp. 457–476.
- CAV-2019-FengCZF0 #bound #difference #equation #verification
- Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations (SF, MC, NZ, MF, BX0), pp. 650–669.