Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ansuman Banerjee
conf.researchr.org general profile
17th Innovations in Software Engineering Conference (ISEC 2024) profile
ACSOS 2025 profile
ATVA 2025 profile
ISEC 2026 profile
PLDI 2025 profile
POPL 2023 profile
Registered user since Mon 15 Jan 2024
Name:
Ansuman Banerjee
Contributions
2026
ISEC
Committee Member in Program Committee within the Research Papers-track
2025
ATVA
PC Member in Programme Committee
ACSOS
Author of LLM-Guided Reconciliation for Explainable Robotic Path Planning: A Case Study within the Main Track-track
LCTES
Author of Modeling and Verification of Sigma Delta Neural Networks using Satisfiability Modulo Theory within the LCTES 2025-track
Committee Member in Program Committee within the LCTES 2025-track
2024
ISEC
Author of A Contrastive Explanation Tool for Plans in Hybrid Domains within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
2023
VMCAI
Author of SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study within the VMCAI 2023-track
Share
x
Thu 25 Sep 12:03