Chaahat Jain

According to our database, Chaahat Jain authored at least 4 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Algorithms for Deciding the Safety of States in Fully Observable Non-deterministic Problems: Technical Report.

Johannes Schmalz, Chaahat Jain

CoRR, March, 2026

2025

Policy Safety Testing in Non-Deterministic Planning: Fuzzing, Test Oracles, Fault Analysis.

Chaahat Jain, Daniel Sherbakov, Marcel Vinzent, Marcel Steinmetz, Jesse Davis, Jörg Hoffmann

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025

2024

Safety Verification of Tree-Ensemble Policies via Predicate Abstraction.

Chaahat Jain, Lorenzo Cascioli, Laurens Devos, Marcel Vinzent, Marcel Steinmetz, Jesse Davis, Jörg Hoffmann

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning.

Martin Bromberger, Chaahat Jain, Christoph Weidenbach

Proceedings of the Automated Deduction - CADE 29, 2023