Robert Bosch Centre for Cyber-Physical Systems
26
Journal Articles
10
Conference / In Proceedings
1
Books / Chapters
63
Citations
37
Citations
Scopus
4
h-index
Dr Pushpak Jagtap
Assistant Professor Automated Verification and Synthesis of Control Sy... View Profile
