Briti Gangopadhyay

According to our database, Briti Gangopadhyay authored at least 10 papers between 2019 and 2023.

Collaborative distances:

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

2023

Safe and Stable RL (S²RL) Driving Policies Using Control Barrier and Control Lyapunov Functions.

Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey

IEEE Trans. Intell. Veh., February, 2023

Counterexample-Guided Policy Refinement in Multi-Agent Reinforcement Learning.

Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Safety Aware Neural Pruning for Deep Reinforcement Learning (Student Abstract).

Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Hierarchical Program-Triggered Reinforcement Learning Agents for Automated Driving.

Briti Gangopadhyay, Harshit Soora, Pallab Dasgupta

IEEE Trans. Intell. Transp. Syst., 2022

PruVer: Verification Assisted Pruning for Deep Reinforcement Learning.

Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey

Proceedings of the PRICAI 2023: Trends in Artificial Intelligence, 2022

2021

Semi-lexical languages: a formal basis for using domain knowledge to resolve ambiguities in deep-learning based computer vision.

Briti Gangopadhyay, Somnath Hazra, Pallab Dasgupta

Pattern Recognit. Lett., 2021

Counterexample Guided RL Policy Refinement Using Bayesian Optimization.

Briti Gangopadhyay, Pallab Dasgupta

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

2020

Semi-Lexical Languages - A Formal Basis for Unifying Machine Learning and Symbolic Reasoning in Computer Vision.

Briti Gangopadhyay, Somnath Hazra, Pallab Dasgupta

CoRR, 2020

Safety Augmentation in Decision Trees.

Sumanta Dey, Pallab Dasgupta, Briti Gangopadhyay

Proceedings of the Workshop on Artificial Intelligence Safety 2020 co-located with the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020), 2020

2019

Identification of Test Cases for Automated Driving Systems Using Bayesian Optimization.

Briti Gangopadhyay, Siddartha Khastgir, Sumanta Dey, Pallab Dasgupta, Giovanni Montana, Paul A. Jennings

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019