1.3k citations · 2.1k across the 35 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2021
On the (In)Tractability of Reinforcement Learning for LTL Objectives
Cambridge Yang, Michael Littman, Michael Carbin
In recent years, researchers have made significant progress in devising reinforcement-learning algorithms for optimizing linear temporal logic (LTL) objectives and LTL-like objecti…
cs.AI2018★ 5 cited
The Three Pillars of Machine Programming
Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul +6
In this position paper, we describe our vision of the future of machine programming through a categorical examination of three pillars of research. Those pillars are: (i) intention…