Patents - Sanjit A. Seshia

Systems and methods for mining temporal requirements from block diagram models of control systems
Jyotirmoy V. Deshmukh, Xiaoqing Jin, Alexandre Donze and Sanjit A. Seshia
U.S. Patent 9,081,900. July 2015