2023conference

Quantitative Verification for Neural Networks using ProbStars

Hoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Danil Prokhorov

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control

Topics: Learning-based Control and Analysis; Risk and Stochasticity

Citation

@inproceedings{tran2023quantitative,
  title = {Quantitative Verification for Neural Networks using ProbStars},
  author = {Tran, Hoang-Dung and Choi, Sungwoo and Okamoto, Hideki and Hoxha, Bardh and Fainekos, Georgios and Prokhorov, Danil},
  booktitle = {Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control},
  pages = {1--12},
  year = {2023},
  code = {https://github.com/V2A2/StarV},
  url = {https://www.bhoxha.com/papers/HSCC2023ProbStars.pdf},
  keywords = {Learning-based Control and Analysis, Risk and Stochasticity}
}