20 citations · 23 across the 7 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.AI2024
Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets
Panagiotis Lymperopoulos, Liping Liu
Finding Minimal Unsatisfiable Subsets (MUSes) of binary constraints is a common problem in infeasibility analysis of over-constrained systems. However, because of the exponential s…
cs.AI2024
NovelGym: A Flexible Ecosystem for Hybrid Planning and Learning Agents Designed for Open Worlds
Shivam Goel, Yichen Wei, Panagiotis Lymperopoulos +3
As AI agents leave the lab and venture into the real world as autonomous vehicles, delivery robots, and cooking robots, it is increasingly necessary to design and comprehensively e…