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:

.. code::

   @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
-------------

.. toctree::
   :maxdepth: 2

   1_intro
   2_install
   3_basic
   4_advanced
   5_example
   9_api