Matthew Bundas

According to our database, Matthew Bundas authored at least 3 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework.

Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor

Theory Pract. Log. Program., September, 2023

2021

Towards a Framework for Characterizing the Behavior of AI-Enabled Cyber-Physical and IoT Systems.

Matthew Bundas, Chasity Nadeau, Thanh Hai Nguyen, Jeannine Shantz, Marcello Balduccini, Tran Cao Son

Proceedings of the 7th IEEE World Forum on Internet of Things, 2021

2020

Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP.

Thanh Hai Nguyen, Tran Cao Son, Matthew Bundas, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor

Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020