Relation-Algebraic Verification of Disjoint-Set Forests
Preprint in arXiv (January 2023)
The most recent citing publications are shown below. View all 34 publications that cite this research output on Dimensions.
Distributed formation control of underactuated ships with connectivity preservation and collision avoidance
Article in Ocean Engineering (November 2022)
Optimization of data allocation in hierarchical memory for blocked shortest paths algorithms
Article in «System analysis and applied information science» (October 2021)