research
∙
07/26/2022
Using Abstraction for Interpretable Robot Programs in Stochastic Domains
A robot's actions are inherently stochastic, as its sensors are noisy an...
share
research
∙
06/20/2022
Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning
Reasoning and planning for mobile robots is a challenging problem, as th...
research
∙
04/07/2022
Controlling Golog Programs against MTL Constraints
While Golog is an expressive programming language to control the high-le...
research
∙
04/07/2022
Abstracting Noisy Robot Programs
Abstraction is a commonly used process to represent some low-level syste...
research
∙
02/19/2021