PyReason: Software for Open World Temporal Logic. - Dyuman Aditya; Kaustuv Mukherji; Srikar Balasubramanian; Abhiraj Chaudhary; Paulo Shakarian (AAAI Spring Symposium: MAKE, 2023)

Scalable Semantic Non-Markovian Simulation Proxy for Reinforcement Learning. - Kaustuv Mukherji; Devendra Parkar; Lahari Pokala; Dyuman Aditya; Paulo Shakarian; Clark Dorman (ICSC, 2024)

Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing. - Divyagna Bavikadi; Dyuman Aditya; Devendra Parkar; Paulo Shakarian; Graham Mueller; Chad Parvis; Gerardo I. Simari (ICLP, 2024)

Robust Localization, Mapping, and Navigation for Quadruped Robots. - Dyuman Aditya; Junning Huang; Nico Bohlinger; Piotr Kicki; Krzysztof Walas; Jan Peters 001; Matteo Luperto; Davide Tateo (CoRR, 2025)

Machine Learning Model Integration with Open World Temporal Logic for Process Automation. - Dyuman Aditya; Colton Payne; Mario A. Leiva; Paulo Shakarian (CoRR, 2025)