Towards a Framework for Characterizing the Behavior of AI-Enabled Cyber-Physical and IoT Systems. - Matthew Bundas; Chasity Nadeau; Thanh Hai Nguyen 002; Jeannine Shantz; Marcello Balduccini; Tran Cao Son (WF-IoT, 2021)

Formalizing and Reasoning About Supply Chain Contracts Between Agents. - Dylan Flynn; Chasity Nadeau; Jeannine Shantz; Marcello Balduccini; Tran Cao Son; Edward R. Griffor (PADL, 2023)