2025conference

StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems

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

International Conference on Computer Aided Verification (CAV), 2025

Topics: Formal Methods and Verification; Learning-based Control and Analysis

Citation

@inproceedings{Tran25-CAV,
  title = {StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems},
  author = {Hoang-Dung Tran and Sung Woo Choi and Yuntao Li and Qing Liu and Hideki Okamoto and Bardh Hoxha and Georgios Fainekos},
  booktitle = {International Conference on Computer Aided Verification (CAV), 2025},
  year = {2025},
  url = {papers/2025_StarV.pdf},
  keywords = {Formal Methods and Verification, Learning-based Control and Analysis}
}