C. Jain,
D. Sherbakov,
M. Vinzent,
M. SteinmetzJ. Davis
and J. Hoffmann,
Policy Safety Testing in Non-Deterministic Planning: Fuzzing, Test Oracles, Fault Analysis,
Proceedings of the 28th European Conference on Artificial Intelligence (ECAI'25), 2025.
(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,
D. Sherbakov,
M. Vinzent,
M. SteinmetzJ. Davis
and J. Hoffmann,
Policy Safety Testing in Non-Deterministic Planning: Fuzzing, Test Oracles, Fault Analysis,
Proceedings of the Workshop on Reliability In Planning and Learning (RIPL), at ICAPS'25, 2025.
(PDF)
L. Cascioli,
C. Jain,
M. SteinmetzJ. Davis
and J. Hoffmann,
Safety Debugging of Tree Ensemble Action Policies in AI Planning: From Fault Detection to Fault Fixing,
Proceedings of the Workshop on Reliability In Planning and Learning (RIPL), at ICAPS'25, 2025.
(PDF)
