2026journal

Quantitative Verification of Learning-Enabled Systems using ProbStar Reachability

Yuntao Li, Sung Woo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Hoang-Dung Tran

Nonlinear Analysis: Hybrid Systems 2026

Topics: Learning-based Control and Analysis; Verification and Reachability

Citation

@article{Li26,
  title = {Quantitative Verification of Learning-Enabled Systems using ProbStar Reachability},
  author = {Yuntao Li and Sung Woo Choi and Hideki Okamoto and Bardh Hoxha and Georgios Fainekos and Hoang-Dung Tran},
  booktitle = {Nonlinear Analysis: Hybrid Systems 2026},
  year = {2026},
  url = {https://www.sciencedirect.com/science/article/abs/pii/S1751570X25000494},
  keywords = {Learning-based Control and Analysis, Verification and Reachability}
}