2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.RO2024
Tell Me What You Want (What You Really, Really Want): Addressing the Expectation Gap for Goal Conveyance from Humans to Robots
Kevin Leahy, Ho Chit Siu
Conveying human goals to autonomous systems (AS) occurs both when the system is being designed and when it is being operated. The design-step conveyance is typically mediated by ro…
cs.LG2024
Graph Q-Learning for Combinatorial Optimization
Victoria M. Dax, Jiachen Li, Kevin Leahy +1
Graph-structured data is ubiquitous throughout natural and social sciences, and Graph Neural Networks (GNNs) have recently been shown to be effective at solving prediction and infe…
cs.LO2023★ 2 cited
A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo
Gustavo A. Cardona, Kevin Leahy, Makai Mann +1
Temporal logic is an important tool for specifying complex behaviors of systems. It can be used to define properties for verification and monitoring, as well as goals for synthesis…