32 citations · 88 across the 33 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2020★ 32 cited
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams
Kevin Leahy, Austin Jones, Cristian-Ioan Vasile
In this work, we focus on decomposing large multi-agent path planning problems with global temporal logic goals (common to all agents) into smaller sub-problems that can be solved…
cs.AI2016★ 4 cited
Reinforcement Learning With Temporal Logic Rewards
Xiao Li, Cristian-Ioan Vasile, Calin Belta
Reinforcement learning (RL) depends critically on the choice of reward functions used to capture the de- sired behavior and constraints of a robot. Usually, these are handcrafted b…