3 citations · 7 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021★ 2 cited
Fast Falsification of Neural Networks using Property Directed Testing
Moumita Das, Rajarshi Ray, Swarup Kumar Mohalik +1
Neural networks are now extensively used in perception, prediction and control of autonomous systems. Their deployment in safety-critical systems brings forth the need for verifica…
cs.MA2021★ 3 cited
HAMMER: Multi-Level Coordination of Reinforcement Learning Agents via Learned Messaging
Nikunj Gupta, G Srinivasaraghavan, Swarup Kumar Mohalik +2
Cooperative multi-agent reinforcement learning (MARL) has achieved significant results, most notably by leveraging the representation-learning abilities of deep neural networks. Ho…