Nagesh Kathare

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Control Software

Basis Functions

Top Venues

Publications

Nikos Aréchiga, Sumanth Dathathri, Shashank Vernekar, Nagesh Kathare, Sicun Gao, Shinichi Shiraishi
Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables. SCAV@CPSWeek (2017)