Lalit Maganti

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 2

Top Topics

Incremental Algorithms

Biologically Plausible

Reachability Analysis

Top Venues

Publications

Michael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano
Reachability Analysis for Neural Agent-Environment Systems. KR (2018)
Alessio Lomuscio, Lalit Maganti
An approach to reachability analysis for feed-forward ReLU neural networks. CoRR (2017)