Author of the publication

Controller Synthesis for Linear System With Reach-Avoid Specifications.

, , , , , and . IEEE Trans. Autom. Control., 67 (4): 1713-1727 (2022)

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

CogCompTime: A Tool for Understanding Time in Natural Language Text., , , , and . CoRR, (2019)Evaluating NLP Models via Contrast Sets., , , , , , , , , and 16 other author(s). CoRR, (2020)A novel ADHD classification method based on resting state temporal templates (RSTT) using spatiotemporal attention auto-encoder., , , , , , , and . Neural Comput. Appl., 34 (10): 7815-7833 (2022)Task fMRI Guided Fiber Clustering via a Deep Clustering Method., , , , , and . ISBI, page 1420-1423. IEEE, (2020)Deep Variational Autoencoder for Modeling Functional Brain Networks and ADHD Identification., , , , and . ISBI, page 554-557. IEEE, (2020)Improving Temporal Relation Extraction with a Globally Acquired Statistical Resource., , , and . NAACL-HLT, page 841-851. Association for Computational Linguistics, (2018)Partial Or Complete, That's The Question., , , and . NAACL-HLT (1), page 2190-2200. Association for Computational Linguistics, (2019)Extracting Temporal Event Relation with Syntax-guided Graph Transformer., , and . NAACL-HLT (Findings), page 379-390. Association for Computational Linguistics, (2022)Multi-objective Optimized Noise Reduction Design of Complicated Structure-Borne Acoustic Radiation Under Multiple Constrains., and . Wirel. Pers. Commun., 102 (4): 3813-3824 (2018)Multi-objective Optimized Design for Intermediate-Frequency Noise Reduction in Aircraft Cabins., and . Wirel. Pers. Commun., 102 (4): 3737-3747 (2018)