| Control synthesis from linear temporal logic specifications using model-free reinforcement learning AK Bozkurt, Y Wang, MM Zavlanos, M Pajic IEEE International Conference on Robotics and Automation (ICRA), 10349-10355, 2020 | 152 | 2020 |
| Differential privacy in linear distributed control systems: Entropy minimizing mechanisms and performance tradeoffs Y Wang, Z Huang, S Mitra, GE Dullerud IEEE Transactions on Control of Network Systems (TCNS) 4 (1), 118-130, 2017 | 112 | 2017 |
| Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems Y Wang, Z Huang, S Mitra, GE Dullerud IEEE Conference on Decision and Control (CDC), 2130-2135, 2014 | 65 | 2014 |
| Supervisory control of discrete event systems in the presence of sensor and actuator attacks Y Wang, M Pajic IEEE Conference on Decision and Control (CDC), 5350-5355, 2019 | 57 | 2019 |
| On the cost of differential privacy in distributed control systems Z Huang, Y Wang, S Mitra, GE Dullerud International Conference on High Confidence Networked Systems (HiCoNS), 105-114, 2014 | 56 | 2014 |
| Statistical verification of hyperproperties for cyber-physical systems Y Wang, M Zarei, B Bonakdarpour, M Pajic ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-23, 2019 | 49 | 2019 |
| Stability analysis of switched linear systems defined by regular languages Y Wang, N Roohi, GE Dullerud, M Viswanathan IEEE Transactions on Automatic Control (TAC) 62 (5), 2568-2575, 2016 | 42 | 2016 |
| Hyperproperties for robotics: Planning via HyperLTL Y Wang, S Nalluri, M Pajic IEEE International Conference on Robotics and Automation (ICRA), 8462-8468, 2020 | 33 | 2020 |
| Statistical verification of learning-based cyber-physical systems M Zarei, Y Wang, M Pajic International Conference on Hybrid Systems: Computation and Control (HSCC), 1-7, 2020 | 31 | 2020 |
| Statistical verification of the Toyota powertrain control verification benchmark N Roohi, Y Wang, M West, GE Dullerud, M Viswanathan International Conference on Hybrid Systems: Computation and Control (HSCC …, 2017 | 31 | 2017 |
| Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm Z Huang, Y Wang, S Mitra, GE Dullerud, S Chaudhuri IEEE conference on decision and control (CDC), 7434-7439, 2015 | 31 | 2015 |
| Attack-resilient supervisory control with intermittently secure communication Y Wang, M Pajic IEEE Conference on Decision and Control (CDC), 2015-2020, 2019 | 28 | 2019 |
| Differentially private objective functions in distributed cloud-based optimization Y Wang, M Hale, M Egerstedt, GE Dullerud IEEE Conference on Decision and Control (CDC), 3688-3694, 2016 | 27 | 2016 |
| Security analysis against spoofing attacks for distributed UAVs K Kim, S Nalluri, A Kashinath, Y Wang, S Mohan, P Miroslav, B Li Decentralized IoT Systems and Security (DISS) Workshop, 2020 | 25 | 2020 |
| Secure planning against stealthy attacks via model-free reinforcement learning AK Bozkurt, Y Wang, M Pajic IEEE International Conference on Robotics and Automation (ICRA), 10656-10662, 2021 | 21 | 2021 |
| Stability of linear autonomous systems under regular switching sequences Y Wang, N Roohi, GE Dullerud, M Viswanathan IEEE Conference on Decision and Control (CDC), 5445-5450, 2014 | 21 | 2014 |
| Stability of linear autonomous systems under regular switching sequences Y Wang University of Illinois at Urbana Champaign (Master Thesis), 2014 | 21 | 2014 |
| Learning-based vulnerability analysis of cyber-physical systems A Khazraei, S Hallyburton, Q Gao, Y Wang, M Pajic International Conference on Cyber-Physical Systems (ICCPS), 259-269, 2022 | 20 | 2022 |
| Statistical model checking for hyperproperties Y Wang, S Nalluri, B Bonakdarpour, M Pajic IEEE Computer Security Foundations Symposium (CSF), 1-16, 2021 | 20* | 2021 |
| Model-free reinforcement learning for stochastic games with linear temporal logic objectives AK Bozkurt, Y Wang, M Zavlanos, M Pajic IEEE International Conference on Robotics and Automation (ICRA), 10649-10655, 2021 | 19 | 2021 |
Miroslav PajicProfessor of Electrical and Computer Engineering, Duke University在 duke.edu 的电子邮件经过验证
