V. Putrich,
T. Bauerschmidt,
C. Jain,
S. Lin,
J. Hoffmann, and
I. Valera,
Formula Neural Networks as Action Policies in Safety-Critical
Planning: An Empirical Evaluation, Proceedings of the 19th
Annual Symposium on Combinatorial Search (SoCS'26),
2026.
J. Schmalz,
and C. Jain,
Algorithms for Deciding the Safety of States in Fully Observable Non-deterministic Problems ,
Proceedings of the 36th International Conference on Automated Planning and Scheduling (ICAPS'26), 2026.
(PDF)
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)
