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
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