Projects Tagged ‘uni’

Efficient runtime monitoring algorithm for tracking hierarchical relationships of objects.

A stream-based specification language for runtime verification of embedded systems.

Scanning sonar localization for an autonomous underwater vehicle.