Masoud Ataei
Orcid: 0000-0002-1114-1760
According to our database1,
Masoud Ataei
authored at least 8 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
DADEE: Well-calibrated uncertainty quantification in neural networks for barriers-based robot safety.
CoRR, 2024
Proceedings of the IEEE International Conference on Advanced Intelligent Mechatronics, 2024
2020
Optim. Methods Softw., 2020
On the Extended Hensel Construction and its application to the computation of real limit points.
J. Symb. Comput., 2020
2018
Proceedings of the Advances in Artificial Intelligence, 2018
2017
On the Extended Hensel Construction and its Application to the Computation of Limit Points.
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017