IDR - IIT Kharagpur

Algorithms for Formal Feature Analysis and Inference Learning for Hybrid Systems

Algorithms for Formal Feature Analysis and Inference Learning for Hybrid Systems

 

Author: Bruto da Costa Antonio Anastasio
Supervisors: Prof. Pallab Dasgupta and Prof. Goran Frehse
Department of Computer Science and Engineering
Indian Institute of Technology Kharagpur, India
July, 2020

Recent Submissions