-
1دورية أكاديمية
المؤلفون: Djeumou, F., Xu, Z., Cubuktepe, M., Topcu, U.
المصدر: IEEE Transactions on Automatic Control IEEE Trans. Automat. Contr. Automatic Control, IEEE Transactions on. 68(4):2245-2260 Apr, 2023
-
2دورية أكاديمية
المؤلفون: Wu, B., Cubuktepe, M., Djeumou, F., Xu, Z., Topcu, U.
المصدر: IEEE Transactions on Automatic Control IEEE Trans. Automat. Contr. Automatic Control, IEEE Transactions on. 68(1):532-539 Jan, 2023
-
3دورية أكاديمية
المؤلفون: Cubuktepe, M., Jansen, N., Junges, S., Katoen, J., Topcu, U.
المصدر: IEEE Transactions on Automatic Control IEEE Trans. Automat. Contr. Automatic Control, IEEE Transactions on. 67(12):6333-6348 Dec, 2022
-
4دورية أكاديمية
المؤلفون: Cubuktepe, M., Blahoudek, F., Topcu, U.
المصدر: IEEE Transactions on Control of Network Systems IEEE Trans. Control Netw. Syst. Control of Network Systems, IEEE Transactions on. 9(3):1327-1338 Sep, 2022
-
5دورية أكاديمية
المؤلفون: Cubuktepe, M., Xu, Z., Topcu, U.
المصدر: IEEE Transactions on Control of Network Systems IEEE Trans. Control Netw. Syst. Control of Network Systems, IEEE Transactions on. 8(4):1799-1810 Dec, 2021
-
6دورية أكاديمية
المؤلفون: Cubuktepe, M., Jansen, N., Alshiekh, M., Topcu, U.
المصدر: IEEE Transactions on Automatic Control IEEE Trans. Automat. Contr. Automatic Control, IEEE Transactions on. 66(7):3251-3258 Jul, 2021
-
7دورية أكاديمية
المؤلفون: Savas, Y., Ornik, M., Cubuktepe, M., Karabag, M.O., Topcu, U.
المصدر: IEEE Transactions on Automatic Control IEEE Trans. Automat. Contr. Automatic Control, IEEE Transactions on. 65(4):1552-1567 Apr, 2020
-
8
المؤلفون: Cubuktepe, M., Jansen, N., Junges, Sebastian, Marandi, A., Suilen, M., Topcu, U., Yang, Q.
المصدر: Yang, Q. (ed.), AAAI-21: Proceedings, Thirty-Fifth AAAI Conference on Artificial Intelligence, 11792-11800. Palo Alto : AAAI Press
STARTPAGE=11792;ENDPAGE=11800;TITLE=Yang, Q. (ed.), AAAI-21: Proceedings, Thirty-Fifth AAAI Conference on Artificial Intelligenceوصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::10aa8534d16238c9a3d2dc0b56e4ff02
http://hdl.handle.net/2066/236602 -
9
المؤلفون: Suilen, M., Jansen, Nils, Cubuktepe, M., Topcu, U., Bessiere, C.
المساهمون: Bessiere, C.
المصدر: IJCAI
Bessiere, C. (ed.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, January 2021, Yokohama, Japan, 4113-4120. S.l. : International Joint Conferences on Artificial Intelligence
STARTPAGE=4113;ENDPAGE=4120;TITLE=Bessiere, C. (ed.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, January 2021, Yokohama, Japan
Bessiere, C. (ed.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, January 2021, Yokohama, Japan, pp. 4113-4120
Scopus-Elsevierمصطلحات موضوعية: Mathematical optimization, Optimization problem, Computer science, Polytope, Probability density function, Optimization and Control (math.OC), Convex optimization, Software Science, FOS: Mathematics, Probability distribution, Temporal logic, Quadratic programming, Markov decision process, Mathematics - Optimization and Control
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a63ab0cd7d358b398ae6f6c625566c92
-
10
المؤلفون: Cubuktepe, M., Jansen, N.H., Junges, J.S.L., Katoen, J.-P., Topcu, U., Lahiri, S.
المساهمون: Lahiri, S.
المصدر: Lahiri, S. (ed.), Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 160-176
Lahiri, S. (ed.), Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, 160-176. Cham : Springer International Publishing
STARTPAGE=160;ENDPAGE=176;ISSN=0302-9743;TITLE=Lahiri, S. (ed.), Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedingsمصطلحات موضوعية: Software Science
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2053c74b19aa557a7b04f29afb71c006
https://hdl.handle.net/2066/197721
Full Text Finder