Systems Engineering With Architecture Modeling, Formal Verification, and Human Interactions for Learning-Enabled Autonomous Agent

Open Webpage

Parth Ganeriwala, Nandith Narayan, Randolph M. Jones, Michael Matessa, Siddhartha Bhattacharyya, Jennifer A. Davis, Simone Fulvio Rollini, Hemant Purohit, Natasha A. Neogi

Published: 2025, Last Modified: 27 Mar 2026Syst. Eng. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0