State space abstraction for parameterized self-stabilizing embedded systems.

Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Prithviraj Banerjee

Browse the full EMSOFT paper archive.