학술논문
'학술논문'
에서 검색결과 454건 | 목록
1~10
Academic Journal
In Journal of Logical and Algebraic Methods in Programming August 2023 134
Academic Journal
In iScience 17 December 2021 24(12)
Academic Journal
In BioSystems November 2016 149:26-33
Conference
Polymenakos, Kyriakos; Laurenti, Luca; Patane, Andrea; Calliess, Jan-Peter; Cardelli, Luca; Kwiatkowska, Marta; Abate, Alessandro; Roberts, Stephen
2020 59th IEEE Conference on Decision and Control (CDC) Decision and Control (CDC), 2020 59th IEEE Conference on. :3187-3193 Dec, 2020
Conference
Michelmore, Rhiannon; Wicker, Matthew; Laurenti, Luca; Cardelli, Luca; Gal, Yarin; Kwiatkowska, Marta
2020 IEEE International Conference on Robotics and Automation (ICRA) Robotics and Automation (ICRA), 2020 IEEE International Conference on. :7344-7350 May, 2020
Conference
Whitby, Max; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca; Tribastone, Mirco; Tschaikowski, Max
2019 IEEE 58th Conference on Decision and Control (CDC) Decision and Control (CDC), 2019 IEEE 58th Conference on. :8372-8379 Dec, 2019
Periodical
Cardelli, Luca; Grosu, Radu; Larsen, Kim Guldstrand; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
IEEE Transactions on Automatic Control; November 2023, Vol. 68 Issue: 11 p6557-6572, 16p
검색 결과 제한하기
제한된 항목
[AR] Cardelli, Luca
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어