Praveena, Pragathi, Andrew Schoen, Michael Gleicher, David Porfirio, and Bilge Mutlu. “Petri Nets for the Iterative Development of Interactive Robotic Systems”. Proceedings of the AAAI Symposium Series 2, no. 1 (January 22, 2024): 526–531. Accessed May 13, 2026. https://ojs.aaai.org/index.php/AAAI-SS/article/view/27724.