Number of items: 2.
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.
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 Sun Dec 22 04:11:42 2024 IST.
