2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.RO2024★ 2 cited
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions
Zhixi Cai, Cristian Rojas Cardenas, Kevin Leo +14
This paper addresses the problem of autonomous UAV search missions, where a UAV must locate specific Entities of Interest (EOIs) within a time limit, based on brief descriptions in…
q-bio.QM2023
The divergence time of protein structures modelled by Markov matrices and its relation to the divergence of sequences
Sandun Rajapaksa, Lloyd Allison, Peter J. Stuckey +2
A complete time-parameterized statistical model quantifying the divergent evolution of protein structures in terms of the patterns of conservation of their secondary structures is…