3 papers
cs.ET2024
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…
cs.AI2024
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…
cs.RO2024
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…