conftrace_

Jarrett Holtz

2 papers · 2018–2020 · 2 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓

+1 more ↓

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🐝 Cross-Pollinator (7) 🌈 Renaissance Researcher (5)

📈 Trend Setter

Conferences

CORL (1) IJCAI (1)

Top co-authors

Arjun Guha (2) Joydeep Biswas (2)

Keywords

constraint solving (1) program synthesis (1) robot control (1) domain-specific language (1) interpretable learning (1) parameter adjustment (1) state machine (1) smt solving (1) action selection policies (1) robot skill composition (1) robot transition (1)

Papers

Robot Action Selection Learning via Layered Dimension Informed Program Synthesis CORL 2020 Interactive Robot Transition Repair With SMT IJCAI 2018