Abstract: This article addresses the distributed leader escort control problem for multiple autonomous surface vessels (multi-ASVs) by adopting a signed graph-based modeling approach to represent ...

Abstract: E-graphs are a prominent data structure that has been increasing in popularity in recent years due to their ex-panding range of applications in various formal reasoning tasks. E-graphs allow ...