@misc{indiciae2a031aac0a17, title = {Certified Execution Harness for Agentic AI: Safe and Least-Intrusive Petri-Net Supervisory Control Between Reasoning and Action}, author = {Chao Gu and Quanyan Zhu}, year = {2026}, url = {https://arxiv.org/abs/2610.31376}, note = {Source identifier: 2610.31376} }