2025conference

ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems

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

28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2025

Topics: Runtime Verification and Monitoring; Learning-based Control and Analysis

Citation

@inproceedings{HSCC2025-probstar,
  title = {ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems},
  author = {Hoang-Dung Tran and Sung Woo Choi and Yuntao Li and Hideki Okamoto and Bardh Hoxha and Georgios Fainekos},
  booktitle = {28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2025},
  year = {2025},
  url = {papers/hscc-tran-2025.pdf},
  keywords = {Runtime Verification and Monitoring, Learning-based Control and Analysis}
}