Zejun Zhou, Yuchen Jin, Pragathi Praveena. Statewise: A Petri Net-Based Visual Editor for Specifying Robotic Systems. In Feras A. Batarseh, Frank Stein, editors, Proceedings of the 2024 AAAI Fall Symposia, Arlington, Virginia, USA, November 7-9, 2024. pages 380-386, AAAI Press, 2024. [doi]
Abstract is missing.