Number of items: 2.
Conference Paper
Ezudheen, P and Afzal, ZR and Prabhakar, P and D'Souza, D and D'Souza, M
(2020)
Verifying Band Convergence for Sampled Control Systems.
In: 12th International Symposium on NASA Formal Methods, NFM 2020, 11-15, May 2020, Moffett Field; United States, pp. 329-349.
Journal Article
Ezudheen, P and Neider, D and D'Souza, D and Garg, P and Madhusudan, P
(2018)
Horn-ice learning for synthesizing invariants and contracts.
In: Proceedings of the ACM on Programming Languages, 2
(OOPSLA).
This list was generated on Wed Apr 24 14:08:14 2024 IST.
