LogiEx: Integrating Formal Logic and LLMs for Explainable Transit Planning (bibtex)

by Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Ayan Mukhopadhyay, Taylor T. Johnson, Jonathan Sprinkle and Meiyi Ma

Reference:

Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Ayan Mukhopadhyay, Taylor T. Johnson, Jonathan Sprinkle and Meiyi Ma, "LogiEx: Integrating Formal Logic and LLMs for Explainable Transit Planning", In 17th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'26), 2026.

Bibtex Entry:

@inproceedings{an2026iccps,
  title = {LogiEx: Integrating Formal Logic and LLMs for Explainable Transit Planning},
  author = {Ziyan An and Xia Wang and Hendrik Baier and Zirong Chen and Abhishek Dubey and Ayan Mukhopadhyay and Taylor T. Johnson and Jonathan Sprinkle and Meiyi Ma},
  year = {2026},
  month = may,
  booktitle = {17th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'26)},
  publabel = {C63},
  pubtype = {C},
}