8 citations · 32 across the 14 of their papers we have counts for
Showing 2022 · cs.AIShow all
2 papers · 2 filters
cs.AI2022
Answer Set Planning: A Survey
Tran Cao Son, Enrico Pontelli, Marcello Balduccini +1
Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans, i.e., solutions to planning problems, that transform a given state of the world to another s…
cs.AI2022
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son +3
This paper introduces a formal definition of a Cyber-Physical System (CPS) in the spirit of the CPS Framework proposed by the National Institute of Standards and Technology (NIST).…