arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Alejandro Salado"" — arXiv2 Search
Showing 1–8 of 8 results
/ Date
/ Name
Apr 11, 2025
A Theory-driven Interpretation and Elaboration of Verification and Validation
Aug 4, 2022
Core and Periphery as Closed-System Precepts for Engineering General Intelligence
Jul 13, 2020
Towards an Interface Description Template for AI-enabled Systems
Jul 7, 2025
Exploring Core and Periphery Precepts in Biological and Artificial Intelligence: An Outcome-Based Perspective
Apr 2, 2022
A UCB-based Tree Search Approach to Joint Verification-Correction Strategy for Large Scale Systems
Sep 24, 2021
A Parallel Tempering Approach for Efficient Exploration of the Verification Tradespace in Engineered Systems
Nov 16, 2023
A Systems-Theoretical Formalization of Closed Systems
Apr 22, 2026
Planetary Exploration 3.0: A Roadmap for Software-Defined, Radically Adaptive Space Systems