Scholar

Trey Woodlief

Google Scholar ID: HKheGDcAAAAJ

William & Mary

autonomous system safetyroboticssoftware engineering

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

73

H-index

5

i10-index

3

Publications

16

Co-authors

7

list available

Contact

No contact links provided.

Publications

1 items

STADA: Specification-based Testing for Autonomous Driving Agents

2026

Cited

0

Resume (English only)

Co-authors

7 total

Sebastian Elbaum

Professor of Computer Science, University of Virginia

Thomson Distinguished Professor, University of Virginia; Amazon Scholar

Blair D. Sullivan

School of Computing, University of Utah