ResearchDatasetsHEAPFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsTrajectory trackingHEAP excavator (real-world)52.3Average Velocity (cm/s)3Class Invariant Synthesisheap10Total Invariants1