3 papers
cs.FL2026
NeuroSTAR: Automata-guided Neuro-symbolic Specification Formalization
Joy Saha, Trey Woodlief, Sebastian Elbaum +1
Automated translation of natural language (NL) descriptions into Linear Temporal Logic over finite traces (LTLf) is a prerequisite for automated formal verification of a system's d…
cs.SE2026
STADA: Specification-based Testing for Autonomous Driving Agents
Joy Saha, Trey Woodlief, Sebastian Elbaum +1
Simulation-based testing has become a standard approach to validating autonomous driving agents prior to real-world deployment. A high-quality validation campaign will exercise an…
cs.ET2025
Managing Escalation in Off-the-Shelf Large Language Models
Sebastian Elbaum, Jonathan Panter
U.S. national security customers have begun to utilize large language models, including enterprise versions of ``off-the-shelf'' models (e.g., ChatGPT) familiar to the public. This…