Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP. - Thanh Hai Nguyen 002; Tran Cao Son; Matthew Bundas; Marcello Balduccini; Kathleen Campbell Garwood; Edward R. Griffor (PRIMA, 2020)

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)

Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. - Thanh Hai Nguyen 002; Matthew Bundas; Tran Cao Son; Marcello Balduccini; Kathleen Campbell Garwood; Edward R. Griffor (Theory Pract. Log. Program., 2023)