Logical specification and uniform synthesis of robust controllers.

Paritosh K. Pandya, Amol Wakankar

Browse the full MEMOCODE paper archive.