2 papers
cs.RO2024
Grand Challenges in the Verification of Autonomous Systems
Kevin Leahy, Hamid Asgari, Louise A. Dennis +6
Autonomous systems use independent decision-making with only limited human intervention to accomplish goals in complex and unpredictable environments. As the autonomy technologies…
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…