This example shows how to create a markup annotation that highlights a selected text on a page. To create this annotation for a selected text, call one of the PdfViewerControl.HighlightSelectedText ...
Abstract: Recent work has demonstrated how one can write high-level specifications for swarm behaviors and automatically create controllers for the individual robots to achieve the overall swarm task.