3 citations · 7 across the 8 of their papers we have counts for
9 papers
Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal Verification
Arkaprava Gupta, Sumana Ghosh, Ansuman Banerjee +1
Spiking Neural Networks (SNNs) are a subclass of neuromorphic models that have great potential to be used as controllers in Cyber-Physical Systems (CPSs) due to their energy effici…
A Survey on the Integration of Generative AI for Critical Thinking in Mobile Networks
Athanasios Karapantelakis, Alexandros Nikou, Ajay Kattepur +5
In the near future, mobile networks are expected to broaden their services and coverage to accommodate a larger user base and diverse user needs. Thus, they will increasingly rely…
Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery
Aman Aryan, Manan Modi, Indranil Saha +2
We propose a generic multi-robot planning mechanism that combines an optimal task planner and an optimal path planner to provide a scalable solution for complex multi-robot plannin…
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…
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…
Machine Reasoning Explainability
Kristijonas Cyras, Ramamurthy Badrinath, Swarup Kumar Mohalik +5
As a field of AI, Machine Reasoning (MR) uses largely symbolic means to formalize and emulate abstract reasoning. Studies in early MR have notably started inquiries into Explainabl…