A Case Study in Recovery of Drones using Discrete-Event Systems
DGX agentarXiv:2604.21740v1 Announce Type: cross Abstract: Discrete-event systems and supervisory control theory provide a rigorous framework for specifying correct-by-construction behavior. However, their pra