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

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 Davis, Simone Fulvio Rollini, Hemant Purohit, Natasha Neogi

Published: 01 Sept 2025, Last Modified: 27 Mar 2026Systems EngineeringEveryoneRevisionsCC BY-SA 4.0

External IDs:doi:10.1002/sys.21816

Loading