1 citations · 1 across the 5 of their papers we have counts for
5 papers
Zero to Autonomy in Real-Time: Online Adaptation of Dynamics in Unstructured Environments
William Ward, Sarah Etter, Jesse Quattrociocchi +3
Autonomous robots must go from zero prior knowledge to safe control within seconds to operate in unstructured environments. Abrupt terrain changes, such as a sudden transition to i…
Online Adaptation of Terrain-Aware Dynamics for Planning in Unstructured Environments
William Ward, Sarah Etter, Tyler Ingebrand +3
Autonomous mobile robots operating in remote, unstructured environments must adapt to new, unpredictable terrains that can change rapidly during operation. In such scenarios, a cri…
Joint Verification and Refinement of Language Models for Safety-Constrained Planning
Yunhao Yang, Neel P. Bhatt, William Ward +3
Large language models possess impressive capabilities in generating programs (e.g., Python) from natural language descriptions to execute robotic tasks. However, these generated pr…
Fine-Tuning Language Models Using Formal Methods Feedback
Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand +4
Although pre-trained language models encode generic knowledge beneficial for planning and control, they may fail to generate appropriate control policies for domain-specific tasks.…
Active Inverse Learning in Stackelberg Trajectory Games
William Ward, Yue Yu, Jacob Levy +3
Game-theoretic inverse learning is the problem of inferring a player's objectives from their actions. We formulate an inverse learning problem in a Stackelberg game between a leade…