2 citations · 3 across the 5 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.AI2022
Core and Periphery as Closed-System Precepts for Engineering General Intelligence
Tyler Cody, Niloofar Shadab, Alejandro Salado +1
Engineering methods are centered around traditional notions of decomposition and recomposition that rely on partitioning the inputs and outputs of components to allow for component…
cs.SE2022
A UCB-based Tree Search Approach to Joint Verification-Correction Strategy for Large Scale Systems
Peng Xu, Xinwei Deng, Alejandro Salado
Verification planning is a sequential decision-making problem that specifies a set of verification activities (VA) and correction activities (CA) at different phases of system deve…