3 papers
astro-ph.IM2026
Planetary Exploration 3.0: A Roadmap for Software-Defined, Radically Adaptive Space Systems
Masahiro Ono, Daniel Selva, Morgan L. Cable +23
The surface and subsurface of worlds beyond Mars remain largely unexplored. Yet these worlds hold keys to fundamental questions in planetary science - from potentially habitable su…
cs.AI2025
Exploring Core and Periphery Precepts in Biological and Artificial Intelligence: An Outcome-Based Perspective
Niloofar Shadab, Tyler Cody, Alejandro Salado +3
Engineering methodologies predominantly revolve around established principles of decomposition and recomposition. These principles involve partitioning inputs and outputs at the co…
cs.SE2025
A Theory-driven Interpretation and Elaboration of Verification and Validation
Hanumanthrao Kannan, Alejandro Salado
This paper presents a formal theory of verification and validation (V&V) within systems engineering, grounded in the axiom that V&V are fundamentally knowledge-building activities.…