Autor der Publikation

Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications.

, , , und . AAAI, Seite 9766-9774. AAAI Press, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Existence and concentrate behavior of ground state solutions for critical Choquard equations., , , und . Appl. Math. Lett., (2019)Positive ground state solutions for Choquard equations with lower critical exponent and steep well potential., , und . Appl. Math. Lett., (2021)3D Matrix Pattern Based Support Vector Machines for Identifying Pulmonary Cancer in CT Scanned Images., , , , , und . J. Medical Systems, 36 (3): 1223-1228 (2012)Study of the Evolution of Online User Interest Behavior., , und . CIS, Seite 166-171. IEEE, (2019)Reduced-Complexity Soft MIMO Detection Based on Causal and Noncausal Decision Feedback., und . IEEE Trans. Signal Process., 56 (3): 1178-1187 (2008)Capacity of the Gaussian Two-Pair Two-Way Relay Channel to Within ½ Bit., , , und . IEEE Trans. Inf. Theory, 65 (12): 8273-8304 (2019)Real-Time Predictive Cruise Control for Eco-Driving Taking into Account Traffic Constraints., , , , und . IEEE Trans. Intell. Transp. Syst., 20 (8): 2858-2868 (2019)Identification of Abnormal Weather Radar Echo Images Based on Stacked Auto-Encoders., , , , , , und . CSPS, Volume 463 von Lecture Notes in Electrical Engineering, Seite 2305-2312. Springer, (2017)Adaptive neural finite-time trajectory tracking control of hydraulic excavators., und . J. Syst. Control. Eng., 232 (7): 909-925 (2018)Image Guidance of Intracardiac Ultrasound with Fusion of Pre-operative Images., , , , , , , , und . MICCAI (1), Volume 4791 von Lecture Notes in Computer Science, Seite 60-67. Springer, (2007)