e-Article
'e-Article'
searched 130results | List
1~10
Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
Conference
2023 62nd IEEE Conference on Decision and Control (CDC) Decision and Control (CDC), 2023 62nd IEEE Conference on. :5339-5344 Dec, 2023
Periodical
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems; 2024, Vol. 43 Issue: 4 p1274-1287, 14p
Conference
2016 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2016. :201-204 Oct, 2016
Academic Journal
Journal of Automated Reasoning. 63(4)
Conference
Akkaya, Ilge; Fremont, Daniel J.; Valle, Rafael; Donze, Alexandre; Lee, Edward A.; Seshia, Sanjit A.
2016 IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI) Internet-of-Things Design and Implementation (IoTDI), 2016 IEEE First International Conference on. :187-198 Apr, 2016
Conference
Raman, Vasumathi; Donze, Alexandre; Maasoumy, Mehdi; Murray, Richard M.; Sangiovanni-Vincentelli, Alberto; Seshia, Sanjit A.
53rd IEEE Conference on Decision and Control Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on. :81-87 Dec, 2014
Conference
2014 International Conference on Embedded Software (EMSOFT) Embedded Software (EMSOFT), 2014 International Conference on. :1-10 Oct, 2014
Refining the search results
Facets
[AR] Donze, Alexandre
Publication year
-
Database provider
Title
Publisher
자료유형(Source Type)
Subject
Language