1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2023★ 1 cited
Designing Behavior Trees from Goal-Oriented LTLf Formulas
Aadesh Neupane, Eric G Mercer, Michael A. Goodrich
Temporal logic can be used to formally specify autonomous agent goals, but synthesizing planners that guarantee goal satisfaction can be computationally prohibitive. This paper sho…
cs.SE2020
Semantic based model of Conceptual Work Products for formal verification of complex interactive systems
Mohcine Madkour, Keith Butler, Eric Mercer +2
Many clinical workflows depend on interactive computer systems for highly technical, conceptual work products, such as diagnoses, treatment plans, care coordination, and case manag…