Symbolic system synthesis in the presence of stringent real-time constraints.

Felix Reimann, Martin Lukasiewycz, Michael Gla, Christian Haubelt, Jrgen Teich

Browse the full DAC paper archive.