research
∙
08/04/2022
Core and Periphery as Closed-System Precepts for Engineering General Intelligence
Engineering methods are centered around traditional notions of decomposi...
share
research
∙
04/02/2022
A UCB-based Tree Search Approach to Joint Verification-Correction Strategy for Large Scale Systems
Verification planning is a sequential decision-making problem that speci...
research
∙
09/24/2021
A Parallel Tempering Approach for Efficient Exploration of the Verification Tradespace in Engineered Systems
Verification is a critical process in the development of engineered syst...
research
∙
07/13/2020