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

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