Santa Cruz, Ulices, and Yasser Shoukry. (2022). Nnlander-verif: A neural network formal verification framework for vision-based autonomous aircraft landing. NASA Formal Methods Symposium, pp. 213-230.
Yang Ni, Mariam Issa, Danny Abraham, Mahdi Imani, Xunzhao Yin, Mohsen Imani (2022). Hdpg: hyperdimensional policy-based reinforcement learning for continuous control. In Proceedings of the 59th ACM/IEEE Design Automation Conference, pp. 1141-1146.
Ferlez, James, Haitham Khedr, and Yasser Shoukry. (2022). Fast BATLLNN: fast box analysis of two-level lattice neural networks. Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control, pp. 1-11.
Amir Hossein Jalilvand, Seyedeh Newsha Estiri, Samaneh Naderi, M Hassan Najafi, Mohsen Imani (2022). A fast and low-cost comparison-free sorting engine with unary computing: late breaking results. In Proceedings of the 59th ACM/IEEE Design Automation Conference, pp....
Mohsen Imani, Ali Zakeri, Hanning Chen, TaeHyun Kim, Prathyush Poduval, Hyunsei Lee, Yeseong Kim, Elaheh Sadredini, Farhad Imani (2022). Neural computation for robust and holographic face detection. In Proceedings of the 59th ACM/IEEE Design Automation Conference, pp....
