Foundations of Artificial Intelligence (FAI) Group

Conference Papers:

• C. Jain, L. Cascioli, L. Devos, M. Vinzent, M. Steinmetz J. Davis and J. Hoffmann, Safety Verification of Tree-Ensemble Policies via Predicate Abstraction, Proceedings of the 27th European Conference on Artificial Intelligence (ECAI'24), 2024. (PDF)

• M. Bromberger, C. Jain, and C. Weidenbach, SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning, Proceedings of the 29th International Conference on Automated Deduction (CADE'23), 2023. (PDF)

Workshop Papers:

• C. Jain, L. Cascioli, L. Devos, M. Vinzent, M. Steinmetz J. Davis and J. Hoffmann, Safety Verification of Tree-Ensemble Policies via Predicate Abstraction, Proceedings of the Workshop of Reliable Data-Driven Planning and Scheduling (RDDPS), at ICAPS, 2024. (PDF)