Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYu Wang 0044
Person information
- affiliation: Duke University, Durham, NC, USA
- affiliation (PhD 2018): University of Illinois at Urbana-Champaign, Coordinate Science Laboratory, Urbana, IL, USA
Other persons with the same name
- Yu Wang — disambiguation page
- Yu Wang 0001
![[0000-0002-8322-4899]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-8322-4899")
— Ohio State University, Columbus, OH, USA - Yu Wang 0002 — Tsinghua University, Department of Electronic Engineering, TNList, Beijing, China (and 1 more)
- Yu Wang 0003 — Temple University, Philadelphia, PA, USA (and 2 more)
- Yu Wang 0004 — Beijing Normal University, China
- Yu Wang 0005 — Zoomlion Heavy Industry Science & Technology Development Co., Ltd., Changsha, China (and 1 more)
- Yu Wang 0006 — Institute for Infocomm Research, Singapore (and 1 more)
- Yu Wang 0007 — Google, Mountain View, CA, USA (and 3 more)
- Yu Wang 0008 — Technicial University Munich, Center for Life and Food Sciences Weihenstephan, Freising, Germany (and 1 more)
- Yu Wang 0009 — Microsoft Research (and 1 more)
- Yu Wang 0010 (aka: Carolyn Yu Wang) — Hong Kong University of Science and Technology, Department of Industrial and Systems Engineering, Hong Kong
- Yu Wang 0011 — Tsinghua University, Department of Computer Science and Technology, Beijing, China
- Yu Wang 0012 — City University of New York, NY, USA
- Yu Wang 0013 — Imperial Collge, London, UK
- Yu Wang 0014 — University of Luton, UK
- Yu Wang 0015 — Auburn University, Department of Computer Science and Software Engineering, AL, USA
- Yu Wang 0016 — University of Science and Technology of China, Natural Inspired Computation and Application Laboratory (NICAL), Hefei, China
- Yu Wang 0017 — Guangzhou University, School of Computer Science, Guangzhou, China (and 2 more)
- Yu Wang 0018 — Ritsumeikan University, College of Information Science and Engineering, Kusatsu, Japan (and 1 more)
- Yu Wang 0019 — Microsoft Corporation (and 1 more)
- Yu Wang 0020 — Michigan State University, East Lansing, MI, USA
- Yu Wang 0021 — Alibaba Group, Hangzhou, China (and 1 more)
- Yu Wang 0022 — Emory University, Department of Math and Computer Science, Atlanta, GA, USA
- Yu Wang 0023 — Waseda University, Japan
- Yu Wang 0024 — National University of Singapore, Department of Electrical and Computer Engineering, Singapore
- Yu Wang 0025 — Chinese Academy of Sciences, Institute of Semiconductors, State Key Laboratory on Integrated Optoelectronics, Beijing, China
- Yu Wang 0026 — Florida Atlantic University, Boca Raton, FL, USA
- Yu Wang 0027 — Shanghai Jiao Tong University, Cooperative Medianet Innovation Center, China (and 2 more)
- Yu Wang 0028 — University of Maryland, Baltimore County, MD, USA
- Yu Wang 0029 — CGGVeritas Company, Singapore (and 1 more)
- Yu Wang 0030 — Nanchang Hangkong University, Department of Biomedical Engineering, Key Laboratory of Nondestructive Testing, Nanchang, China
- Yu Wang 0031 — University of Siegen, Center for Sensorsystems (ZESS), Siegen, Germany (and 1 more)
- Yu Wang 0032 — Horizon Robotics, Beijing, China (and 5 more)
- Yu Wang 0033 — University of Pennsylvania, Philadelphia, PA, USA
- Yu Wang 0034 — Purdue University, Department of Electrical and Computer Engineering, West Lafayette, IN, USA
- Yu Wang 0035 — Qiqihar Medical University (and 1 more)
- Yu Wang 0036 — Zhejiang University, College of Biomedical Engineering and Instrument Science, Collaborative Innovation Center for Diagnosis and Treatment of Infectious Diseases, Engineering Research Center of EMR and Intelligent Expert System, Hangzhou, China
- Yu Wang 0038 — Baidu, Sunnyvale, CA, USA (and 2 more)
- Yu Wang 0039 — McMaster University, Department of Computing and Software, Hamilton, Canada
- Yu Wang 0040 — Ericsson Research, Stockholm, Sweden (and 1 more)
- Yu Wang 0041 — Apple, Cupertino, CA, USA (and 1 more)
- Yu Wang 0042 — City University of Hong Kong, Department of Architecture and Civil Engineering, Hong Kong
- Yu Wang 0043 — City University of Hong Kong, Department of Systems Engineering & Engineering Management, Hong Kong, China (and 1 more)
- Yu Wang 0045 — Chinese Academy of Sciences, Institute of Automation, State Key Laboratory of Management and Control for Complex Systems, China
- Yu Wang 0046 — Fudan University, State Key Laboratory of Application Specific Integrated Circuit (ASIC) and Systems, Shanghai, China
- Yu Wang 0047 — Capital Medical University, Beijing Friendship Hospital, China
- Yu Wang 0048 — Taiyuan University of Technology, Key Laboratory of Advanced Transducers and Intelligent Control Systems, China
- Yu Wang 0049 — Zhejiang Gongshang University, School of Computer Science & Information Engineering, Hangzhou, China
- Yu Wang 0050 — Tsinghua University, Department of Electrical Engineering, Beijing, China (and 1 more)
- Yu Wang 0051 — Nanjing University of Aeronautics and Astronautics, Department of Electrical Engineering, Nanjing, China (and 2 more)
- Yu Wang 0052 — Shanghai Jiao Tong University, Department of Computer Science and Engineering, China
- Yu Wang 0053 — Harbin Institutes of Technology Shenzhen Graduate School, China
- Yu Wang 0054 — Shenyang Agricultural University, College of Economics and Management, China (and 2 more)
- Yu Wang 0055 — Chinese Academy of Sciences, Institute of Electronics, National Key Laboratory of Sciences and Technology on Microwave Imaging, Beijing, China (and 1 more)
- Yu Wang 0056 — Wuhan University, School of Remote Sensing and Information Engineering, China
- Yu Wang 0057 — Harbin Engineering University, College of Information and Communication Engineering, China
- Yu Wang 0058 — Jiangsu University of Technology, School of Electrical and Information Engineering, Changzhou, China (and 1 more)
- Yu Wang 0059 — Xidian University, State Key Laboratory of ISN, Xi'an, China
- Yu Wang 0060 — University of Cambridge, Department of Pure Mathematics and Statistic, UK
- Yu Wang 0061 — Chongqing Technology and Business University, National Research Base of Intelligent Manufacturing, China
- Yu Wang 0062 — Chinese Academy of Sciences, Institute of Automation, State Key Laboratory of Management and Control for Complex Systems, Beijing, China
- Yu Wang 0063 — Peking University, Department of Ecology, College of Urban and Environmental Science, Beijing, China
- Yu Wang 0064 — University of Aizu, Department of Computer Science and Engineering, Aizuwakamatsu, Japan
- Yu Wang 0065 — TomTom, Amsterdam, The Netherlands (and 1 more)
- Yu Wang 0066 — University of Wuppertal, Germany
- Yu Wang 0067 — North Electronic Instrument Institute, Beijing, China (and 2 more)
- Yu Wang 0068 — National University of Defense Technology, National Laboratory for Parallel and Distributed Processing, Changsha, China
- Yu Wang 0069 — Xi'an Jiaotong University, School of Electronic and Information Engineering, China
- Yu Wang 0070 — Tianjin University, School of Electrical and Information Engineering, China
- Yu Wang 0071 — Nanyang Technological University, Rolls-Royce@NTU Corporate Lab, Singapore (and 1 more)
- Yu Wang 0072 — Nanjing University of Posts and Telecommunications, School of Computer Science, China
- Yu Wang 0073 — Dalian University of Technology, Faculty of Electronic Information and Electrical Engineering, China
- Yu Wang 0074 — Southwest Petroleum University, School of Electrical Engineering and Information, Chengdu, China (and 1 more)
- Yu Wang 0075 — University of California at Berkeley, Department of Statistics, Berkeley, CA, USA (and 1 more)
- Yu Wang 0076 — Wuhan University, School of Electrical Engineering and Automation, Wuhan, China
- Yu Wang 0077 — Hunan Normal University, College of Information Science and Engineering, Changsha, China
- Yu Wang 0078 — Nanjing University of Posts and Telecommunications, College of Telecommunications and Information Engineering, Nanjing, China
- Yu Wang 0079 — North University of China, Science and Technology on Electronic Test and Measurement Laboratory, Taiyuan, China
- Yu Wang 0080 — Shandong University of Science and Technology, School of Economics and Management, Qindao, China
- Yu Wang 0081 — Jinan University, School of International Business, China
- Yu Wang 0082 — Sun Yat-sen University, National Supercomputer Center in Guangzhou, China
- Yu Wang 0083 — Beihang University, School of Biological Science and Medical Engineering, Beijing, China
- Yu Wang 0084 — University of South Florida, USA
- Yu Wang 0085 — Guilin University of Technology, College of Geomatics and Geoinformation, Guangxi, China
- Yu Wang 0086 — Beijing University of Technology, China
- Yu Wang 0087 — Beijing Technology and Business University, School of Computer and Information Engineering, Beijing Key Laboratory of Big Data Technology for Food Safety, Beijing, China
- Yu Wang 0088 — Chinese Academy of Sciences, Academy of Opto-electronics, Department of Space Engineering, Beijing, China
- Yu Wang 0089 — Chinese Academy of Sciences, Institute of Computing Technology, Key Lab of Intelligent Information Processing, Beijing, China (and 2 more)
- Yu Wang 0090 — Xidian University, National Laboratory of Radar Signal Processing, Xi'an, China
- Yu Wang 0091 — Samsung Research America, Mountain View, CA, USA (and 2 more)
- Yu Wang 0092 — Shanxi University, School of Software, Taiyuan, China
- Yu Wang 0093 — Nanjing University, Department of Computer Science and Technology, State Key Laboratory for Novel Software Technology, Nanjing, China
- Yu Wang 0094 — Wenzhou Medical University, The First Affiliated Hospital, Wenzhou, China
- Yu Wang 0095 — Nanyang Technological University, School of Electrical and Electronic Engineering, Centre for System Intelligence and Efficiency (EXQUISITUS), Singapore
- Yu Wang 0096 — Tsinghua University, Department of Space Flight Simulation, China Astronaut Research and Training Center, Beijing, China (and 1 more)
- Yu Wang 0097 — Yangtze Memory Technologies Co.,Ltd, Wuhan, China (and 1 more)
- Yu Wang 0098 — IMC Asset Management, Amsterdam, Netherlands (and 1 more)
- Yu Wang 0099 — Auburn University, Department of Electrical and Computer Engineering, Auburn, AL, USA
- Yu Wang 0100 — Dalian University of Technology, School of Optoelectronic Engineering and Instrumentation Science, Dalian, China (and 1 more)
- Yu Wang 0101 — Chinese Academy of Sciences, Institute of Electronics, Department of Space Microwave Remote Sensing System, Beijing, China (and 1 more)
- Yu Wang 0102 — JD AI Research, Beijing, China
- Yu Wang 0103 — Massachusetts Institute of Technology, Geometric Data Processing (GDP) Group, Cambridge, MA, USA
- Yu Wang 0104 — JD Logistics, Beijing, China (and 1 more)
- Yu Wang 0105 — New York University, Music and Audio Research Laboratory, New York, NY, USA
- Yu Wang 0106 — Tianjin University, School of Artificial Intelligence, Tianjin, China (and 1 more)
- Yu Wang 0107 — Dongbei University of Finance and Economics, Dalian, China (and 1 more)
- Yu Wang 0108 — Alibaba Group DAMO Academy AI Center, Hangzhou, China
- Yu Wang 0109 — Nanjing University of Posts and Telecommunications, National Engineering Research Center of Communication and Network Technology, Nanjing, China (and 1 more)
- Yu Wang 0110 (aka: Eugene (Yu) Wang) — Carnegie Mellon University, Pittsburgh, PA, USA
- Yu Wang 0111 — North University of China, College of Information and Communication Engineering, Taiyuan, China
- Yu Wang 0112 — Jilin University, Applied Technology College, Changchun, China (and 1 more)
- Yu Wang 0113 — Zhengzhou University, Institute of Vibration Engineering, Zhengzhou, China
- Yu Wang 0114 — Chinese Academy of Sciences, State Key Laboratory of Information Security, Beijing, China (and 1 more)
- Yu Wang 0115 — Beijing Institute of Technology, School of Computer Science and Technology, Beijing, China
- Yu Wang 0116 — First Hospital of Jilin University, Changchun, China
- Yu Wang 0117 — Wuhan University of Technology, Department of Energy and Power Engineering, Hubei Key Laboratory of Advanced Technology for Automotive Components, Wuhan, China (and 1 more)
- Yu Wang 0118 — Hunan University, College of Computer Science and Electronic Engineering, Changsha, China
- Yu Wang 0119 — Tianjin University, School of Architecture, Department of Urban and Rural Planning, Tianjin, China
- Yu Wang 0120 — South China University of Technology, School of Automation Science and Engineering, Guangzhou, China
- Yu Wang 0121 — Chinese Academy of Sciences, Hefei Institutes of Physical Science, Institute of Intelligent Machines, Anhui Province Key Laboratory of Medical Physics and Technology, Hefei, China (and 1 more)
- Yu Wang 0122 — University of Houston, Department of Electrical and Computer Engineering, Houston, TX, USA (and 1 more)
- Yu Wang 0124 — Cardiff University, School of Engineering, Cardiff, UK
- Yu Wang 0125 — Massey University, School of Engineering and Advanced Technology, Auckland, New Zealand
- Yu Wang 0126 — Nagoya University, Department of Letters, Nagoya, Japan
- Yu Wang 0127 — East China University of Science and Technology, School of Mechanical and Power Engineering, Shanghai, China
- Yu Wang 0128 — Nanjing University, Department of Geographic Information Science, Jiangsu Provincial Key Laboratory of Geographic Information Science and Technology, Nanjing, China
- Yu Wang 0129 — Shanghai University of Traditional Chinese Medicine, School of Basic Medicine, Shanghai, China
- Yu Wang 0130 — Rensselaer Polytechnic Institute, Department of Electrical, Computer, and Systems Engineering, Troy, NY, USA (and 2 more)
- Yu Wang 0131 — University of New South Wales, School of Electrical Engineering and Telecommunications, Sydney, Australia
- Yu Wang 0132 — Chinese Academy of Sciences, Shenzhen Institutes of Advanced Technology, Shenzhen Key Laboratory of Minimally Invasive Surgical Robotics and System, Shenzhen, China (and 1 more)
- Yu Wang 0133 — McMaster University, Department of Computing and Software, Hamilton, Canada
- Yu Wang 0134 — Chinese Academy of Sciences, Institute of Information Engineering, Beijing, China (and 1 more)
- Yu Wang 0135 — Chongqing University, School of Economics and Business Administration, Chongqing, China
- Yu Wang 0136 — Hanyang University, Department of Electronics and Communication Engineering, Ansan, Republic of Korea
- Yu Wang 0137 — Google Inc, Mountain View, CA, USA (and 1 more)
- Yu Wang 0138 — Nanjing University of Science and Technology, School of Electronic Engineering & Optoelectronic Technology, Nanjing, China
- Yu Wang 0139 — Nanjing University of Information Science and Technology, NUIST, Lab of Environmental Remote Sensing, School of Marine Science, China
- Yu Wang 0140 — Wuhan Institute of Technology, School of Computer Science and Engineering, Hubei Province Key Laboratory of Intelligent Robot, China
- Yu Wang 0141 — Chinese Academy of Sciences, AMSS, Institute of Mathematics / NCMIS / MDIS, Beijing, China
- Yu Wang 0142 — Hebei University of Technology, School of Mechanical Engineering, National Engineering Research Center for Technological Innovation Method and Tool, Tianjin, China
- Yu Wang 0143 — Beijing Jiaotong University, School of Science, China
- Yu Wang 0144 — University of Michigan, Department of Statistics, Ann Arbor, MI, USA
- Yu Wang 0145 — Nanjing Tech University, College of Computer Science and Technology, China (and 1 more)
- Yu Wang 0146 — Zhejiang Lab, Research Center for Healthcare Data Science, Hangzhou, China
- Yu Wang 0147 — Civil Aviation University of China, School of Electronic Information and Automation, Tianjin, China
- Yu Wang 0148 — Southwest Jiaotong University, MoE Key Laboratories of Magnetic Suspension Technology and Maglev Vehicle, Chengdu, China (and 1 more)
- Yu Wang 0149 — Beihang University, School of Reliability and Systems Engineering, Science and Technology on Reliability and Environmental Engineering Laboratory, Beijing, China
- Yu Wang 0150 — State Grid Electric Power Research Institute, Wuhan, China
- Yu Wang 0151 — Hefei University, Department of Mathematics and Physics, China
- Yu Wang 0152 — Jilin University, College of Computer Science and Technology, MoE Key Laboratory of Symbolic Computation and Knowledge Engineering, Changchun, China
- Yu Wang 0153 — Guilin University of Technology, College of Information Science and Engineering, China
- Yu Wang 0154 — China University of Geosciences, School of Geography and Information Engineering, Wuhan, China
- Yu Wang 0155 — Wright State University, Department of Electrical Engineering, Dayton, OH, USA
- Yu Wang 0156 — Shandong University, School of Management, Jinan, China
- Yu Wang 0157 — Xiangtan University, School of Mathematics and Computational Science, China
- Yu Wang 0158 — University of Illinois at Chicago, Department of Computer Science, Chicago, IL, USA
- Yu Wang 0159 — Chinese Academy of Sciences, Tianjin Institute of Industrial Biotechnology, China
- Yu Wang 0160 — Vanderbilt University, Department of Civil and Environmental Engineering, Department of Computer Science, Nashville, TN, USA
- Yu Wang 0161 — Nanjing Xiaozhuang University, School of Electronics Engineering, China
- Yu Wang 0162 — Northeastern University, College of Medicine and Biological Information Engineering, Shenyang, China (and 1 more)
- Yu Wang 0163 — Sichuan University, College of Literature ans Journalism, CHengdu, China
- Yu Wang 0164 — Indiana University Bloomington, School of Informatics, Computing, and Engineering, IN, USA (and 1 more)
- Yu Wang 0165 — University of Technology SSchool of Electrical, Mechanical and Mechatronic Systems, Sydney, Australia
- Yu Wang 0166 — Nanjing University of Aeronautics and Astronautics, NUAA, Key Laboratory of Radar Imaging and Microwave Photonics, Ministry of Education, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2021
[j5]Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. ACM Trans. Embed. Comput. Syst. 20(6): 113:1-113:27 (2021)- 2019
- [j4]Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:
Statistical verification of PCTL using antithetic and stratified samples. Formal Methods Syst. Des. 54(2): 145-163 (2019) - [j3]Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic:
Statistical Verification of Hyperproperties for Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 92:1-92:23 (2019) - 2017
- [j2]Yu Wang, Nima Roohi, Geir E. Dullerud, Mahesh Viswanathan:
Stability Analysis of Switched Linear Systems Defined by Regular Languages. IEEE Trans. Autom. Control. 62(5): 2568-2575 (2017) - [j1]Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud:
Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs. IEEE Trans. Control. Netw. Syst. 4(1): 118-130 (2017)
Conference and Workshop Papers
- 2024
- [c32]Zelin Xu, Tingsong Xiao, Wenchong He, Yu Wang, Zhe Jiang, Shigang Chen, Yiqun Xie, Xiaowei Jia, Da Yan, Yang Zhou:
Spatial-Logic-Aware Weakly Supervised Learning for Flood Mapping on Earth Imagery. AAAI 2024: 22457-22465 - 2023
- [c31]Mark Yen, Geir E. Dullerud, Yu Wang:
Statistical Verification of Traffic Systems with Expected Differential Privacy. ACC 2023: 3496-3501 - [c30]Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang:
Lightweight Verification of Hyperproperties. ATVA 2023: 3-25 - [c29]Zelin Xu, Tingsong Xiao, Wenchong He, Yu Wang, Zhe Jiang:
Spatial Knowledge-Infused Hierarchical Learning: An Application in Flood Mapping on Earth Imagery. SIGSPATIAL/GIS 2023: 48:1-48:10 - [c28]Filip Mazurek, Arya Tschand, Yu Wang, Miroslav Pajic, Daniel J. Sorin:
Rigorous Evaluation of Computer Processors with Statistical Model Checking. MICRO 2023: 1242-1254 - 2022
- [c27]Yu Wang, Qitong Gao, Miroslav Pajic:
Learning Monotone Dynamics by Neural Networks. ACC 2022: 1485-1490 - [c26]Amir Khazraei, Spencer Hallyburton, Qitong Gao, Yu Wang, Miroslav Pajic:
Learning-Based Vulnerability Analysis of Cyber-Physical Systems. ICCPS 2022: 259-269 - 2021
- [c25]Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic:
Model-Free Learning of Safe yet Effective Controllers. CDC 2021: 6560-6565 - [c24]Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic:
Statistical Model Checking for Hyperproperties. CSF 2021: 1-16 - [c23]Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic:
Probabilistic conformance for cyber-physical systems. ICCPS 2021: 55-66 - [c22]Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic:
Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives. ICRA 2021: 10649-10655 - [c21]Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic:
Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning. ICRA 2021: 10656-10662 - 2020
- [c20]Mahmoud Elfar, Yu Wang, Miroslav Pajic:
Context-Aware Temporal Logic for Probabilistic Systems. ATVA 2020: 215-232 - [c19]Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan:
STMC: Statistical Model Checker with Stratified and Antithetic Sampling. CAV (2) 2020: 448-460 - [c18]Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning. CDC 2020: 1392-1397 - [c17]Mojtaba Zarei, Yu Wang, Miroslav Pajic:
Statistical verification of learning-based cyber-physical systems. HSCC 2020: 12:1-12:7 - [c16]Yu Wang, Siddhartha Nalluri, Miroslav Pajic:
Hyperproperties for Robotics: Planning via HyperLTL. ICRA 2020: 8462-8468 - [c15]Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic:
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning. ICRA 2020: 10349-10355 - 2019
- [c14]Mahmoud Elfar, Yu Wang, Miroslav Pajic:
Security-Aware Synthesis Using Delayed-Action Games. CAV (1) 2019: 180-199 - [c13]Yu Wang, Miroslav Pajic:
Attack-Resilient Supervisory Control with Intermittently Secure Communication. CDC 2019: 2015-2020 - [c12]Yu Wang, Miroslav Pajic:
Supervisory Control of Discrete Event Systems in the Presence of Sensor and Actuator Attacks. CDC 2019: 5350-5355 - 2018
- [c11]Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:
Statistical Verification of PCTL Using Stratified Samples. ADHS 2018: 85-90 - 2017
- [c10]Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan:
Statistical Verification of the Toyota Powertrain Control Verification Benchmark. HSCC 2017: 65-70 - 2016
- [c9]Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:
Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction. CDC 2016: 3012-3017 - [c8]Yu Wang, Matthew T. Hale, Magnus Egerstedt, Geir E. Dullerud:
Differentially private objective functions in distributed cloud-based optimization. CDC 2016: 3688-3694 - [c7]Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud:
Controller synthesis for linear dynamical systems with adversaries. HotSoS 2016: 53-62 - 2015
- [c6]Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:
A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems. ADHS 2015: 267-273 - [c5]Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri:
Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm. CDC 2015: 7434-7439 - [c4]Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:
Statistical verification of dynamical systems using set oriented methods. HSCC 2015: 169-178 - 2014
- [c3]Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud:
Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems. CDC 2014: 2130-2135 - [c2]Yu Wang, Nima Roohi, Geir E. Dullerud, Mahesh Viswanathan:
Stability of linear autonomous systems under regular switching sequences. CDC 2014: 5445-5450 - [c1]Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud:
On the cost of differential privacy in distributed control systems. HiCoNS 2014: 105-114
Informal and Other Publications
- 2023
- [i22]Mark Yen, Geir E. Dullerud, Yu Wang:
Statistical Verification of Traffic Systems with Expected Differential Privacy. CoRR abs/2302.01388 (2023) - [i21]Zelin Xu, Tingsong Xiao, Wenchong He, Yu Wang, Zhe Jiang:
Spatial Knowledge-Infused Hierarchical Learning: An Application in Flood Mapping on Earth Imagery. CoRR abs/2312.07767 (2023) - 2021
- [i20]Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic:
Learning Optimal Strategies for Temporal Tasks in Stochastic Games. CoRR abs/2102.04307 (2021) - [i19]Amir Khazraei, Spencer Hallyburton, Qitong Gao, Yu Wang, Miroslav Pajic:
Learning-Based Vulnerability Analysis of Cyber-Physical Systems. CoRR abs/2103.06271 (2021) - [i18]Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic:
Model-Free Learning of Safe yet Effective Controllers. CoRR abs/2103.14600 (2021) - [i17]Yu Wang, Alper Kamil Bozkurt, Miroslav Pajic:
Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes. CoRR abs/2104.01612 (2021) - 2020
- [i16]Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning. CoRR abs/2004.00273 (2020) - [i15]Yu Wang, Hussein Sibai, Sayan Mitra, Geir E. Dullerud:
Differential Privacy for Sequential Algorithms. CoRR abs/2004.00275 (2020) - [i14]Yu Wang, Qitong Gao, Miroslav Pajic:
Deep Learning for Stable Monotone Dynamical Systems. CoRR abs/2006.06417 (2020) - [i13]Mahmoud Elfar, Yu Wang, Miroslav Pajic:
Context-Aware Temporal Logic for Probabilistic Systems. CoRR abs/2007.05793 (2020) - [i12]Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic:
Probabilistic Conformance for Cyber-Physical Systems. CoRR abs/2008.01135 (2020) - [i11]Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. CoRR abs/2009.07649 (2020) - [i10]Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic:
Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives. CoRR abs/2010.01050 (2020) - [i9]Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic:
Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning. CoRR abs/2011.01882 (2020) - 2019
- [i8]Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic:
Statistical Model Checking for Probabilistic Hyperproperties. CoRR abs/1902.04111 (2019) - [i7]Mahmoud Elfar, Yu Wang, Miroslav Pajic:
Security-Aware Synthesis Using Delayed-Action Games. CoRR abs/1902.04618 (2019) - [i6]Yu Wang, Alper Kamil Bozkurt, Miroslav Pajic:
Attack-Resilient Supervisory Control of Discrete-Event Systems. CoRR abs/1904.03264 (2019) - [i5]Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic:
Statistical Verification of Hyperproperties for Cyber-Physical System. CoRR abs/1906.07253 (2019) - [i4]Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic:
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning. CoRR abs/1909.07299 (2019) - [i3]Yu Wang, Siddhartha Nalluri, Miroslav Pajic:
Hyperproperties for Robotics: Motion Planning via HyperLTL. CoRR abs/1911.11870 (2019) - 2015
- [i2]Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud:
Controller Synthesis for Linear Time-varying Systems with Adversaries. CoRR abs/1501.04925 (2015) - [i1]Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri:
Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm. CoRR abs/1509.04623 (2015)
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-06 22:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
