PRIORITY-Q: Certifiable Event-Queue Scheduling for Real-Time Railway Resource Allocation

Chauhan, A., Raghuvanshi, A., Kandar, T., Baranwal, M.

Published in International Conference on Neural Information Processing (ICONIP), main track, 2026