Fault Tolerant Control in Shape-Changing Internal Robots. - Lavanya Balasubramanian; Tom Wray; Dana D. Damian (ICRA, 2020)

5G Specifications Formal Verification with Over-the-Air Validation: Prompting is All You Need. - Tom Wray; Ying Wang (MILCOM, 2024)