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
ATVA 2025 profile
PLDI 2025 profile
POPL 2023 profile
Registered user since Mon 15 Jan 2024
Name:
Ansuman Banerjee
Contributions
2025
ATVA
PC Member in Programme Committee
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
Wed 28 May 14:06
