Author of the publication

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability.

, , , , and . CoRR, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Simulating Star Clusters Across Cosmic Time: II. Escape Fraction of Ionizing Photons from Molecular Clouds, , and . (2020)cite arxiv:2001.06109Comment: 17 pages, 13 figures, accepted for publication in MNRAS.Unsupervised learning-based registration for T1 and T2 breast MRI images., , , , , , and . ISICDM, page 225-228. ACM, (2020)A Fine-Grained Access Control Mechanism Based on Search Trees., , , , , and . TrustCom, page 1614-1620. IEEE, (2023)Study on the Wide-Angle Scanning Utilizing Dual-Port Phased Monopole Antenna With Corrugated Structure., , , , , , , , , and 1 other author(s). IEEE Trans. Veh. Technol., 72 (12): 15463-15476 (December 2023)Real-time Human Body Correspondences for Motion Tracking., and . ICIGP, page 26-30. ACM, (2018)Auto-Conditioned Recurrent Networks for Extended Complex Human Motion Synthesis., , , , , and . ICLR (Poster), OpenReview.net, (2018)A Novel SDMA Uplink Method Based on Time-Modulated Array for UAV Communications., , , and . ICCS, page 19-24. IEEE, (2018)Deep learning of deformable registration for breast DCE-MRI images., , , , , , and . ISICDM, page 229-234. ACM, (2020)Generation of Multi-Mode OAM Waves Through Programable 2-Bit Digital Coding Metasurfaces., , , , , , , , , and . ICC Workshops, page 1-3. IEEE, (2019)m-Shaped SSPPs Structure to Low Profile Vertically Polarized Antenna With High Gain to Be Conformal With Vehicle Shell., , , , , , , , , and 2 other author(s). IEEE Trans. Veh. Technol., 71 (4): 3807-3820 (2022)