2 citations · 3 across the 2 of their papers we have counts for
3 papers
cs.RO2019
Learning Safe Unlabeled Multi-Robot Planning with Motion Constraints
Arbaaz Khan, Chi Zhang, Shuo Li +6
In this paper, we present a learning approach to goal assignment and trajectory planning for unlabeled robots operating in 2D, obstacle-filled workspaces. More specifically, we tac…
cs.PL2017★ 1 cited
Program Synthesis using Conflict-Driven Learning
Yu Feng, Ruben Martins, Osbert Bastani +1
We propose a new conflict-driven program synthesis technique that is capable of learning from past mistakes. Given a spurious program that violates the desired specification, our s…
cs.PL2017★ 2 cited
Eventually Sound Points-To Analysis with Missing Code
Osbert Bastani, Lazaro Clapp, Saswat Anand +2
Static analyses make the increasingly tenuous assumption that all source code is available for analysis; for example, large libraries often call into native code that cannot be ana…