William Ward

11 papers A 1C 1Misc 1Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2025 C conf
Active Inverse Learning in Stackelberg Trajectory Games.
ACC
William Ward, Yue Yu, Jacob Levy, Negar Mehr, David Fridovich-Keil, Ufuk Topcu
2025 J jnl
Online Adaptation of Terrain-Aware Dynamics for Planning in Unstructured Environments.
CoRR
William Ward, Sarah Etter, Tyler Ingebrand, Christian Ellis, Adam J. Thorpe, Ufuk Topcu
2025 J jnl
Zero to Autonomy in Real-Time: Online Adaptation of Dynamics in Unstructured Environments.
CoRR
William Ward, Sarah Etter, Jesse Quattrociocchi, Christian Ellis, Adam J. Thorpe, Ufuk Topcu
2024 J jnl
Dual-Wavelength Interferometric Detection Technology for Wind and Temperature Fields in the Martian Middle and Upper Atmosphere Based on LCTF.
Remote. Sens.
Yanqiang Wang, Biyun Zhang, Chunmin Zhang, Shiping Guo, Tingyu Yan, Yifan He, William Ward
2024 J jnl
Efficient Phase Step Determination Approach for Four-Quadrant Wind Imaging Interferometer.
Remote. Sens.
Tingyu Yan, William Ward, Chunmin Zhang, Shiping Guo
2024 — conf
Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems.
MLSys
Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Atlas Wang, Ufuk Topcu
2024 J jnl
Joint Verification and Refinement of Language Models for Safety-Constrained Planning.
CoRR
Yunhao Yang, William Ward, Zichao Hu, Joydeep Biswas, Ufuk Topcu
2023 J jnl
A hybrid soft material robotic end-effector for reversible in-space assembly of strut components.
Frontiers Robotics AI
Maxwell Hammond, Anthony Dempsey, William Ward, Stephen Stewart, James H. Neilan, Jessica Friz, Caterina Lamuta, Venanzio Cichella
2023 J jnl
Fine-Tuning Language Models Using Formal Methods Feedback.
CoRR
Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Zhangyang Wang, Ufuk Topcu
2014 Misc conf
Patients and providers using secure messages on the patient portal for home telemonitoring: what are the informatics challenges and how can they be managed?
AMIA
Frederick North, Muhamad Elrashidi, Barbie J. Mundt, Karen L. Ytterberg, Eric M. Manley, William Ward, Sidna M. Tulledge-Scheitel
2003 A conf
Visualizing Industrial CT Volume Data for Nondestructive Testing Applications.
IEEE Visualization
Runzhen Huang, Kwan-Liu Ma, Patrick S. McCormick, William Ward