Chaahat Jain
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2023–2025
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECAI | Policy Safety Testing in Non-Deterministic Planning: Fuzzing, Test Oracles, Fault Analysis. | Chaahat Jain, Daniel Sherbakov, Marcel Vinzent, Marcel Steinmetz, Jesse Davis, Jrg Hoffmann |
| 2024 | ECAI | Safety Verification of Tree-Ensemble Policies via Predicate Abstraction. | Chaahat Jain, Lorenzo Cascioli, Laurens Devos, Marcel Vinzent, Marcel Steinmetz, Jesse Davis, Jrg Hoffmann |
| 2023 | CADE | SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning. | Martin Bromberger, Chaahat Jain, Christoph Weidenbach |