Yu Wang
Duke University
H-index: 16
North America-United States
Top articles of Yu Wang
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Spatial-logic-aware weakly supervised learning for flood mapping on earth imagery | Proceedings of the AAAI Conference on Artificial Intelligence | Zelin Xu Tingsong Xiao Wenchong He Yu Wang Zhe Jiang | 2024/3/24 |
Foundation models for spatiotemporal tasks in the physical world | Zhe Jiang Yu Wang Zelin Xu | 2024 | |
Learning optimal strategies for temporal tasks in stochastic games | IEEE Transactions on Automatic Control | Alper Kamil Bozkurt Yu Wang Michael M Zavlanos Miroslav Pajic | 2024/4/18 |
On the uniqueness of solution for the Bellman equation of LTL objectives | arXiv preprint arXiv:2404.05074 | Zetong Xuan Alper Kamil Bozkurt Miroslav Pajic Yu Wang | 2024/4/7 |
Statistical verification of traffic systems with expected differential privacy | Mark Yen Geir E Dullerud Yu Wang | 2023 | |
Attack-resilient supervisory control of discrete-event systems: A finite-state transducer approach | IEEE Open Journal of Control Systems (OJ-CSYS) | Yu Wang Alper Kamil Bozkurt Nathan Smith Miroslav Pajic | 2023 |
Spatial knowledge-infused hierarchical learning: An application in flood mapping on earth imagery | Zelin Xu Tingsong Xiao Wenchong He Yu Wang Zhe Jiang | 2023/11/13 | |
Infusing spatial knowledge into deep learning for earth science: A hydrological application | Zelin Xu Tingsong Xiao Wenchong He Yu Wang Zhe Jiang | 2023/10/28 | |
Rigorous evaluation of computer processors with statistical model checking | Filip Mazurek Arya Tschand Yu Wang Miroslav Pajic Daniel Sorin | 2023/10/28 | |
Lightweight verification of hyperproperties | Oyendrila Dobe Stefan Schupp Ezio Bartocci Borzoo Bonakdarpour Axel Legay | 2023/10/19 | |
Learning monotone dynamics by neural networks | Yu Wang Qitong Gao Miroslav Pajic | 2022/6/6 | |
Learning-based vulnerability analysis of cyber-physical systems | Amir Khazraei Spencer Hallyburton Qitong Gao Yu Wang Miroslav Pajic | 2022 | |
Differentially private algorithms for statistical verification of cyber-physical systems | IEEE Open Journal of Control Systems | Yu Wang Hussein Sibai Mark Yen Sayan Mitra Geir E Dullerud | 2022/9/15 |
Probabilistic conformance for cyber-physical systems | Yu Wang Mojtaba Zarei Borzoo Bonakdarpoor Miroslav Pajic | 2021/5/19 | |
Verifying stochastic hybrid systems with temporal logic specifications via model reduction | ACM Transactions on Embedded Computing Systems (TECS) | Yu Wang Nima Roohi Matthew West Mahesh Viswanathan Geir E Dullerud | 2021/11/15 |
Statistical model checking for hyperproperties | Yu Wang Siddhartha Nalluri Borzoo Bonakdarpour Miroslav Pajic | 2021/6/21 | |
Reinforcement learning with temporal logic constraints for partially-observable Markov decision processes | IFAC-PapersOnLine | Bengt Lennartson Qing-Shan Jia | 2020/1/1 |
Model-free learning of safe yet effective controllers | Alper Kamil Bozkurt Yu Wang Miroslav Pajic | 2021 | |
Secure planning against stealthy attacks via model-free reinforcement learning | Alper Kamil Bozkurt Yu Wang Miroslav Pajic | 2021 | |
Model-free reinforcement learning for stochastic games with linear temporal logic objectives | Alper Kamil Bozkurt Yu Wang Michael M Zavlanos Miroslav Pajic | 2021/5/30 |