2 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…