Number of items: 2.
Conference Paper
Samuel, S and Mallik, K and Schmuck, AK and Neider, D
(2020)
Resilient Abstraction-Based Controller Design.
In: 59th IEEE Conference on Decision and Control, CDC 2020, 14 - 18 Dec 2020, Virtual, Jeju Island; South Korea, pp. 2123-2129.
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 Fri Apr 26 09:51:19 2024 IST.
