Joy Saha

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Eval Frameworks & Benchmarks (1)Robotics & Embodied AI (1)World Models & Planning (1)

Frequent co-authors

Trey Woodlief (1)Sebastian Elbaum (1)Matthew B. Dwyer (1)

Papers (1)

Mar 11, 2026

University of Nebraska-Lincoln5d ago

STADA: Specification-based Testing for Autonomous Driving Agents

Achieve 2x better coverage of autonomous driving safety requirements with 6x fewer simulations by automatically generating test scenarios from formal LTLf specifications.

Joy Saha, Trey Woodlief, Sebastian Elbaum +1

Eval Frameworks & Benchmarks Robotics & Embodied AI World Models & Planning

Search

Joy Saha

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)