ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
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 Wed Dec 6 09:46:29 2023 IST.