Runtime Monitoring with Union-Find Structures.

Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma

Browse the full TACAS paper archive.