Yasser Shoukry

Tsai, H.-R. ., Shoukry, Y. ., Lee, M. K., & Raman, V. . (2017). Towards a socially responsible smart city: dynamic resource allocation for smarter community service. In BuildSys ’17 Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments (p. 1). http://doi.org/10.1145/3137133.3137163

Khedr, H. ., & Shoukry, Y. . (2024). DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation. Proceedings of the AAAI Conference on Artificial Intelligence, 38(19), 9. http://doi.org/10.1609/aaai.v38i19.30117

Sun, X. ., & Shoukry, Y. . (2024). Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks. IEEE Transactions on Robotics, 40, 20. http://doi.org/10.1109/TRO.2024.3392079

Cruz, U. S., & Shoukry, Y. . (2023). Certified Vision-Based State Estimation for Autonomous Landing Systems Using Reachability Analysis. In 2023 62nd IEEE Conference on Decision and Control (CDC) (p. 6). IEEE. http://doi.org/10.1109/CDC49753.2023.10384107