From Language to Logic: VLM-Grounded Safe Navigation in Novel Environments
¹Kristy Sakano, Kalonji Harrington, ²Mumu Xu
¹Department of Computer Science, University of Maryland, College Park
²Department of Aerospace Engineering, University of Maryland, College Park
|
ABSTRACT |
STORM–Mission Assurance and System Security Engineering Methodology for Trustworthy Systems with AI
Shiu-Kai Chin¹, Matthew Clark², Garrett Katz¹, Jae Oh¹, William Young¹
¹ Department of Electrical Engineering and Computer Science, Syracuse University
² MBClark Engineering LLC
|
ABSTRACT |
Toward Neuro-Symbolic Natural Language Requirements to Verified Implementations for Model-Based Systems Engineering in SysML v2
Amer Tahat, David Hardin, Isaac Aumndson, Darren Cofer
Collins Aerospace
|
ABSTRACT |
OGhidra: Local AI For Reverse Engineering at Scale
Slides for this presentation are available to registered HCSS community members. Please log in to access the file.
Once logged in, you may download the slides here: [HCSS 2026 Westbrook]
If you do not already have an account, you may create one here:
https://sos-vo.org/user/register
ABSTRACT |
Neurosymbolic C++ Verification using Rocq
Lennart Beringer | Jasper Haag | Rodolphe Lepigre | Gregory Malecha | Rayan Soban | Ehtesham Zahoor
SkyLabs AI*
|
ABSTRACT |