2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.AI2023★ 2 cited
Egocentric Planning for Scalable Embodied Task Achievement
Xiaotian Liu, Hector Palacios, Christian Muise
Embodied agents face significant challenges when tasked with performing actions in diverse environments, particularly in generalizing across object types and executing suitable act…
cs.LO2016
Finite LTL Synthesis is EXPTIME-complete
Jorge A. Baier, Alberto Camacho, Christian Muise +1
LTL synthesis -- the construction of a function to satisfy a logical specification formulated in Linear Temporal Logic -- is a 2EXPTIME-complete problem with relevant applications…