Lalit Maganti

According to our database, Lalit Maganti authored at least 2 papers between 2017 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Reachability Analysis for Neural Agent-Environment Systems.

Michael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

An approach to reachability analysis for feed-forward ReLU neural networks.

Alessio Lomuscio, Lalit Maganti

CoRR, 2017