3 citations · 7 across the 8 of their papers we have counts for
3 papers · 1 filter
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…