LogiEx: Integrating Formal Logic and LLMs for Explainable Transit Planning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T. Johnson, Jonathan Sprinkle, Ayan Mukhopadhyay, Meiyi Ma. LogiEx: Integrating Formal Logic and LLMs for Explainable Transit Planning. In 17th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2026, Saint Malo, France, May 11-14, 2026. pages 88-99, IEEE, 2026. [doi]

This author has not been identified. Look up 'Ziyan An' in GoogleThis author has not been identified. Look up 'Xia Wang' in GoogleThis author has not been identified. Look up 'Hendrik Baier' in GoogleThis author has not been identified. Look up 'Zirong Chen' in GoogleThis author has not been identified. It may be one of the following persons:

Abhishek Dubey

Look up 'Abhishek Dubey' in GoogleThis author has not been identified. Look up 'Taylor T. Johnson' in GoogleThis author has not been identified. It may be one of the following persons:

Jonathan Sprinkle

Look up 'Jonathan Sprinkle' in GoogleThis author has not been identified. Look up 'Ayan Mukhopadhyay' in GoogleThis author has not been identified. Look up 'Meiyi Ma' in Google

runs on WebDSL