Welcome to SafePilot’s documentation!

Toolbox for Assuring LLM-Enabled Cyber-Physical Systems

Github Repository: https://github.com/WeizheSyr/SafePilot.git

Documentation: https://weizhesyr.github.io/SafePilot_doc/

If you use SafePilot in your work, please cite one of the following references:

@inproceedings{xu2024assuring,
title={Assuring LLM-Enabled Cyber-Physical Systems},
author={Xu, Weizhe and Liu, Mengyu and Drager, Steven and Anderson, Matthew and Kong, Fanxin},
booktitle={2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS)},
pages={287--288},
year={2024},
organization={IEEE}
}

Note

This project is under active development.

Contributor

  • Weizhe Xu

  • Mengyu Liu

  • Fanxin Kong (Advisor)

Documentation