default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMiroslav Pajic
Person information
- affiliation: Duke University, NC, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j36]Yiran Chen
, Suman Banerjee, Shaundra Daily, Jeffery Krolik, Hai (Helen) Li, Daniel B. Limbrick, Miroslav Pajic, Rajashi Runton, Lin Zhong:
Athena - The NSF AI Institute for Edge Computing. AI Mag. 45(1): 15-21 (2024)- [j35]Xiaoxuan Yang, Zhangyang Wang, X. Sharon Hu, Chris H. Kim, Shimeng Yu, Miroslav Pajic, Rajit Manohar, Yiran Chen, Hai Helen Li:
Neuro-Symbolic Computing: Advancements and Challenges in Hardware-Software Co-Design. IEEE Trans. Circuits Syst. II Express Briefs 71(3): 1683-1689 (2024) - [c107]Hao-Lun Hsu, Qitong Gao, Miroslav Pajic:
ϵ-Neural Thompson Sampling of Deep Brain Stimulation for Parkinson Disease Treatment. ICCPS 2024: 224-234 - [c106]Ge Gao, Qitong Gao, Xi Yang, Song Ju, Miroslav Pajic, Min Chi:
On Trajectory Augmentations for Off-Policy Evaluation. ICLR 2024 - [c105]Hao-Lun Hsu, Haocheng Meng, Shaocheng Luo, Juncheng Dong, Vahid Tarokh, Miroslav Pajic:
REFORMA: Robust REinFORceMent Learning via Adaptive Adversary for Drones Flying under Disturbances. ICRA 2024: 5169-5175 - [c104]David Hunt, Shaocheng Luo, Amir Khazraei, Xiao Zhang, Spencer Hallyburton, Tingjun Chen, Miroslav Pajic:
RadCloud: Real-Time High-Resolution Point Cloud Generation Using Low-Cost Radars for Aerial and Ground Vehicles. ICRA 2024: 12269-12275 - [c103]Zetong Xuan, Alper Kamil Bozkurt, Miroslav Pajic, Yu Wang:
On the uniqueness of solution for the Bellman equation of LTL objectives. L4DC 2024: 428-439 - [c102]Hao-Lun Hsu, Miroslav Pajic:
Robust exploration with adversary via Langevin Monte Carlo. L4DC 2024: 1592-1605 - [i50]R. Spencer Hallyburton, David Hunt, Shaocheng Luo, Miroslav Pajic:
A Multi-Agent Security Testbed for the Analysis of Attacks and Defenses in Collaborative Sensor Fusion. CoRR abs/2401.09387 (2024) - [i49]David Hunt, Shaocheng Luo, Amir Khazraei, Xiao Zhang, Spencer Hallyburton, Tingjun Chen, Miroslav Pajic:
RadCloud: Real-Time High-Resolution Point Cloud Generation Using Low-Cost Radars for Aerial and Ground Vehicles. CoRR abs/2403.05964 (2024) - [i48]Hao-Lun Hsu, Qitong Gao, Miroslav Pajic:
ε-Neural Thompson Sampling of Deep Brain Stimulation for Parkinson Disease Treatment. CoRR abs/2403.06814 (2024) - [i47]R. Spencer Hallyburton, Miroslav Pajic:
Bayesian Methods for Trust in Collaborative Multi-Agent Autonomy. CoRR abs/2403.16956 (2024) - [i46]Zetong Xuan, Alper Kamil Bozkurt, Miroslav Pajic, Yu Wang:
On the Uniqueness of Solution for the Bellman Equation of LTL Objectives. CoRR abs/2404.05074 (2024) - [i45]Hao-Lun Hsu, Weixin Wang, Miroslav Pajic, Pan Xu:
Randomized Exploration in Cooperative Multi-Agent Reinforcement Learning. CoRR abs/2404.10728 (2024) - 2023
- [j34]Mahmoud Elfar, Yi-Chen Chang, Harrison Hao-Yu Ku, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic:
Deep Reinforcement Learning-Based Approach for Efficient and Reliable Droplet Routing on MEDA Biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(4): 1212-1222 (2023) - [j33]Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic:
IoT-Enabled Motion Control: Architectural Design Challenges and Solutions. IEEE Trans. Ind. Informatics 19(3): 2284-2294 (2023) - [c101]Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang:
Lightweight Verification of Hyperproperties. ATVA 2023: 3-25 - [c100]Qitong Gao, Stephen L. Schmidt, Afsana Chowdhury, Guangyu Feng, Jennifer J. Peters, Katherine Genty, Warren M. Grill, Dennis A. Turner, Miroslav Pajic:
Offline Learning of Closed-Loop Deep Brain Stimulation Controllers for Parkinson Disease Treatment. ICCPS 2023: 44-55 - [c99]Robert Spencer Hallyburton, Shucheng Zhang, Miroslav Pajic:
AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle Development. ICCPS 2023: 209-220 - [c98]R. Spencer Hallyburton, Nate Zelter, David Hunt, Kristen Angell, Miroslav Pajic:
A Modular Platform For Collaborative, Distributed Sensor Fusion. ICCPS 2023: 268-269 - [c97]Qitong Gao, Ge Gao, Min Chi, Miroslav Pajic:
Variational Latent Branching Model for Off-Policy Evaluation. ICLR 2023 - [c96]Amir Khazraei, Haocheng Meng, Miroslav Pajic:
Stealthy Perception-based Attacks on Unmanned Aerial Vehicles. ICRA 2023: 3346-3352 - [c95]Sangjun Eom, Ritvik Janamsetty, Majda Hadziahmetovic, Miroslav Pajic, Maria Gorlatova:
Demo Abstract: Edge-based Augmented Reality Guidance System for Retinal Laser Therapy via Feature Matching. IPSN 2023: 366-367 - [c94]Aleksandar Jokic, Amir Khazraei, Milica Petrovic, Zivana Jakovljevic, Miroslav Pajic:
Cyber-Attacks on Wheeled Mobile Robotic Systems with Visual Servoing Control. IROS 2023: 6342-6348 - [c93]Muhammad Abdullah Naeem, Miroslav Pajic:
Transportation-Inequalities, Lyapunov Stability and Sampling for Dynamical Systems on Continuous State Space. L4DC 2023: 653-664 - [c92]Filip Mazurek, Arya Tschand, Yu Wang, Miroslav Pajic, Daniel J. Sorin:
Rigorous Evaluation of Computer Processors with Statistical Model Checking. MICRO 2023: 1242-1254 - [c91]Qitong Gao, Ge Gao, Juncheng Dong, Vahid Tarokh, Min Chi, Miroslav Pajic:
Off-Policy Evaluation for Human Feedback. NeurIPS 2023 - [i44]Qitong Gao, Ge Gao, Min Chi, Miroslav Pajic:
Variational Latent Branching Model for Off-Policy Evaluation. CoRR abs/2301.12056 (2023) - [i43]Qitong Gao, Stephen L. Schmidt, Afsana Chowdhury, Guangyu Feng, Jennifer J. Peters, Katherine Genty, Warren M. Grill, Dennis A. Turner, Miroslav Pajic:
Offline Learning of Closed-Loop Deep Brain Stimulation Controllers for Parkinson Disease Treatment. CoRR abs/2302.02477 (2023) - [i42]Amir Khazraei, Haocheng Meng, Miroslav Pajic:
Stealthy Perception-based Attacks on Unmanned Aerial Vehicles. CoRR abs/2303.02112 (2023) - [i41]R. Spencer Hallyburton, Miroslav Pajic:
Securing Autonomous Vehicles Under Partial-Information Cyber Attacks on LiDAR Data. CoRR abs/2303.03470 (2023) - [i40]R. Spencer Hallyburton, Nate Zelter, David Hunt, Kristen Angell, Miroslav Pajic:
A Modular Platform For Collaborative, Distributed Sensor Fusion. CoRR abs/2303.07430 (2023) - [i39]Muhammad Abdullah Naeem, Miroslav Pajic:
High Dimensional Geometry and Limitations in System Identification. CoRR abs/2305.12083 (2023) - [i38]Juncheng Dong, Hao-Lun Hsu, Qitong Gao, Vahid Tarokh, Miroslav Pajic:
Robust Reinforcement Learning through Efficient Adversarial Herding. CoRR abs/2306.07408 (2023) - [i37]Ahmed Aloui, Ali Hasan, Yuting Ng, Miroslav Pajic, Vahid Tarokh:
Individual Treatment Effects in Extreme Regimes. CoRR abs/2306.11697 (2023) - [i36]Amir Khazraei, Miroslav Pajic:
Vulnerability Analysis of Nonlinear Control Systems to Stealthy False Data Injection Attacks. CoRR abs/2310.04516 (2023) - [i35]Qitong Gao, Ge Gao, Juncheng Dong, Vahid Tarokh, Min Chi, Miroslav Pajic:
Off-Policy Evaluation for Human Feedback. CoRR abs/2310.07123 (2023) - [i34]Muhammad Abdullah Naeem, Amir Khazraei, Miroslav Pajic:
From Spectral Theorem to Statistical Independence with Application to System Identification. CoRR abs/2310.10523 (2023) - [i33]R. Spencer Hallyburton, Miroslav Pajic:
Datasets, Models, and Algorithms for Multi-Sensor, Multi-agent Autonomy Using AVstack. CoRR abs/2312.04970 (2023) - [i32]Muhammad Abdullah Naeem, Miroslav Pajic:
Spectral Statistics of the Sample Covariance Matrix for High Dimensional Linear Gaussians. CoRR abs/2312.05794 (2023) - 2022
- [j32]Amir Khazraei, Miroslav Pajic:
Attack-resilient state estimation with intermittent data authentication. Autom. 138: 110035 (2022) - [j31]Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic:
Security Analysis for Distributed IoT-Based Industrial Automation. IEEE Trans Autom. Sci. Eng. 19(4): 3093-3108 (2022) - [j30]Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic:
Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(8): 2504-2517 (2022) - [c90]Yu Wang, Qitong Gao, Miroslav Pajic:
Learning Monotone Dynamics by Neural Networks. ACC 2022: 1485-1490 - [c89]R. Spencer Hallyburton, Amir Khazraei, Miroslav Pajic:
Optimal Myopic Attacks on Nonlinear Estimation. CDC 2022: 5480-5485 - [c88]Amir Khazraei, Miroslav Pajic:
Resiliency of Nonlinear Control Systems to Stealthy Sensor Attacks. CDC 2022: 7109-7114 - [c87]Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic:
Adaptive Droplet Routing for MEDA Biochips via Deep Reinforcement Learning. DATE 2022: 640-645 - [c86]Erick Rojas, Stephen L. Schmidt, Afsana Chowdhury, Miroslav Pajic, Dennis A. Turner, Deborah S. Won:
A comparison of an implanted accelerometer with a wearable accelerometer for closed-loop DBS. EMBC 2022: 3439-3442 - [c85]Qitong Gao, Stephen L. Schmidt, Karthik Kamaravelu, Dennis A. Turner, Warren M. Grill, Miroslav Pajic:
Offline Policy Evaluation for Learning-based Deep Brain Stimulation Controllers. ICCPS 2022: 80-91 - [c84]Amir Khazraei, Spencer Hallyburton, Qitong Gao, Yu Wang, Miroslav Pajic:
Learning-Based Vulnerability Analysis of Cyber-Physical Systems. ICCPS 2022: 259-269 - [c83]Qitong Gao, Dong Wang, Joshua David Amason, Siyang Yuan, Chenyang Tao, Ricardo Henao, Majda Hadziahmetovic, Lawrence Carin, Miroslav Pajic:
Gradient Importance Learning for Incomplete Observations. ICLR 2022 - [c82]Shiqi Sun, Yan Zhang, Xusheng Luo, Panagiotis Vlantis, Miroslav Pajic, Michael M. Zavlanos:
Formal Verification of Stochastic Systems with ReLU Neural Network Controllers. ICRA 2022: 6800-6806 - [c81]Ge Gao, Qitong Gao, Xi Yang, Miroslav Pajic, Min Chi:
A Reinforcement Learning-Informed Pattern Mining Framework for Multivariate Time Series Classification. IJCAI 2022: 2994-3000 - [c80]Amir Khazraei, Henry D. Pfister, Miroslav Pajic:
Resiliency of Perception-Based Controllers Against Attacks. L4DC 2022: 713-725 - [c79]Kyo Hyun Kim, Denizkhan Kara, Vineetha Paruchuri, Sibin Mohan, Greg Kimberly, Denis Osipychev, Jae H. Kim, Josh D. Eckhardt, Miroslav Pajic:
Insights on Using Deep Learning to Spoof Inertial Measurement Units for Stealthy Attacks on UAVs. MILCOM 2022: 1065-1069 - [c78]Sangjun Eom, Majda Hadziahmetovic, Miroslav Pajic, Maria Gorlatova:
Through an AR Lens: Augmented Reality Magnification through Feature Detection and Matching. SenSys 2022: 784-785 - [c77]R. Spencer Hallyburton, Yupei Liu, Yulong Cao, Z. Morley Mao, Miroslav Pajic:
Security Analysis of Camera-LiDAR Fusion Against Black-Box Attacks on Autonomous Vehicles. USENIX Security Symposium 2022: 1903-1920 - [i31]Amir Khazraei, Miroslav Pajic:
Resiliency of Nonlinear Control Systems to Stealthy Sensor Attacks. CoRR abs/2204.03217 (2022) - [i30]R. Spencer Hallyburton, Amir Khazraei, Miroslav Pajic:
Optimal Myopic Attacks on Nonlinear Estimation. CoRR abs/2204.06996 (2022) - [i29]Muhammad Abdullah Naeem, Miroslav Pajic:
Transportation-Inequalities, Lyapunov Stability and Sampling for Dynamical Systems on Continuous State Space. CoRR abs/2205.12448 (2022) - [i28]Amir Khazraei, Henry D. Pfister, Miroslav Pajic:
Attacks on Perception-Based Control Systems: Modeling and Fundamental Limits. CoRR abs/2206.07150 (2022) - [i27]R. Spencer Hallyburton, Shucheng Zhang, Miroslav Pajic:
AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle Development. CoRR abs/2212.13857 (2022) - 2021
- [j29]Xusheng Luo, Miroslav Pajic, Michael M. Zavlanos:
An optimal graph-search method for secure state estimation. Autom. 123: 109323 (2021) - [j28]Zivana Jakovljevic, Vuk Lesi, Miroslav Pajic:
Attacks on Distributed Sequential Control in Manufacturing Automation. IEEE Trans. Ind. Informatics 17(2): 775-786 (2021) - [c76]Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic:
Model-Free Learning of Safe yet Effective Controllers. CDC 2021: 6560-6565 - [c75]Yiran Chen, Ang Li, Huanrui Yang, Tunhou Zhang, Yuewei Yang, Hai Li, Suman Banerjee, Miroslav Pajic:
AI-Powered IoT System at the Edge. CogMI 2021: 242-251 - [c74]Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic:
Statistical Model Checking for Hyperproperties. CSF 2021: 1-16 - [c73]Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic:
Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips. DATE 2021: 324-329 - [c72]Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic:
Probabilistic conformance for cyber-physical systems. ICCPS 2021: 55-66 - [c71]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 - [c70]Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic:
Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning. ICRA 2021: 10656-10662 - [i26]Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic:
Learning Optimal Strategies for Temporal Tasks in Stochastic Games. CoRR abs/2102.04307 (2021) - [i25]Shiqi Sun, Yan Zhang, Xusheng Luo, Panagiotis Vlantis, Miroslav Pajic, Michael M. Zavlanos:
Formal Verification of Stochastic Systems with ReLU Neural Network Controllers. CoRR abs/2103.05142 (2021) - [i24]Amir Khazraei, Spencer Hallyburton, Qitong Gao, Yu Wang, Miroslav Pajic:
Learning-Based Vulnerability Analysis of Cyber-Physical Systems. CoRR abs/2103.06271 (2021) - [i23]Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic:
Model-Free Learning of Safe yet Effective Controllers. CoRR abs/2103.14600 (2021) - [i22]Yu Wang, Alper Kamil Bozkurt, Miroslav Pajic:
Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes. CoRR abs/2104.01612 (2021) - [i21]R. Spencer Hallyburton, Yupei Liu, Miroslav Pajic:
Security Analysis of Camera-LiDAR Semantic-Level Fusion Against Black-Box Attacks on Autonomous Vehicles. CoRR abs/2106.07098 (2021) - [i20]Qitong Gao, Dong Wang, Joshua D. Amason, Siyang Yuan, Chenyang Tao, Ricardo Henao, Majda Hadziahmetovic, Lawrence Carin, Miroslav Pajic:
Imputation-Free Learning from Incomplete Observations. CoRR abs/2107.01983 (2021) - 2020
- [j27]Tung-Che Liang, Zhanwei Zhong, Miroslav Pajic, Krishnendu Chakrabarty:
Extending the Lifetime of MEDA Biochips by Selective Sensing on Microelectrodes. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3531-3543 (2020) - [j26]Vuk Lesi, Ilija Jovanov, Miroslav Pajic:
Integrating Security in Resource-Constrained Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. 4(3): 28:1-28:27 (2020) - [j25]Zivana Jakovljevic, Vuk Lesi, Stefan Mitrovic, Miroslav Pajic:
Distributing Sequential Control for Manufacturing Automation Systems. IEEE Trans. Control. Syst. Technol. 28(4): 1586-1594 (2020) - [c69]Amir Khazraei, Miroslav Pajic:
Perfect Attackability of Linear Dynamical Systems with Bounded Noise. ACC 2020: 749-754 - [c68]Mahmoud Elfar, Yu Wang, Miroslav Pajic:
Context-Aware Temporal Logic for Probabilistic Systems. ATVA 2020: 215-232 - [c67]Mojtaba Zarei, Yu Wang, Miroslav Pajic:
Statistical verification of learning-based cyber-physical systems. HSCC 2020: 12:1-12:7 - [c66]Qitong Gao, Michael Naumann, Ilija Jovanov, Vuk Lesi, Karthik Kumaravelu, Warren M. Grill, Miroslav Pajic:
Model-Based Design of Closed Loop Deep Brain Stimulation Controller using Reinforcement Learning. ICCPS 2020: 108-118 - [c65]Yu Wang, Siddhartha Nalluri, Miroslav Pajic:
Hyperproperties for Robotics: Planning via HyperLTL. ICRA 2020: 8462-8468 - [c64]Qitong Gao, Miroslav Pajic, Michael M. Zavlanos:
Deep Imitative Reinforcement Learning for Temporal Logic Robot Motion Planning with Noisy Semantic Observations. ICRA 2020: 8490-8496 - [c63]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 - [i19]Amir Khazraei, Miroslav Pajic:
Attack-Resilient State Estimation with Intermittent Data Authentication. CoRR abs/2005.08122 (2020) - [i18]Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic:
Security Analysis for Distributed IoT-Based Industrial Automation. CoRR abs/2006.00044 (2020) - [i17]Yu Wang, Qitong Gao, Miroslav Pajic:
Deep Learning for Stable Monotone Dynamical Systems. CoRR abs/2006.06417 (2020) - [i16]Muhammad Abdullah Naeem, Miroslav Pajic:
Learning Expected Reward for Switched Linear Control Systems: A Non-Asymptotic View. CoRR abs/2006.08105 (2020) - [i15]Mahmoud Elfar, Yu Wang, Miroslav Pajic:
Context-Aware Temporal Logic for Probabilistic Systems. CoRR abs/2007.05793 (2020) - [i14]Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic:
Probabilistic Conformance for Cyber-Physical Systems. CoRR abs/2008.01135 (2020) - [i13]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) - [i12]Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic:
Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning. CoRR abs/2011.01882 (2020)
2010 – 2019
- 2019
- [j24]Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George J. Pappas, Insup Lee:
Continuous Estimation Using Context-Dependent Discrete Measurements. IEEE Trans. Autom. Control. 64(1): 235-250 (2019) - [j23]Ilija Jovanov, Miroslav Pajic:
Relaxing Integrity Requirements for Attack-Resilient Cyber-Physical Systems. IEEE Trans. Autom. Control. 64(12): 4843-4858 (2019) - [j22]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) - [j21]Haibei Zhu, Mary L. Cummings, Mahmoud Elfar, Ziyao Wang, Miroslav Pajic:
Operator Strategy Model Development in UAV Hacking Detection. IEEE Trans. Hum. Mach. Syst. 49(6): 540-549 (2019) - [c62]Mahmoud Elfar, Yu Wang, Miroslav Pajic:
Security-Aware Synthesis Using Delayed-Action Games. CAV (1) 2019: 180-199 - [c61]Yu Wang, Miroslav Pajic:
Attack-Resilient Supervisory Control with Intermittently Secure Communication. CDC 2019: 2015-2020 - [c60]Yu Wang, Miroslav Pajic:
Supervisory Control of Discrete Event Systems in the Presence of Sensor and Actuator Attacks. CDC 2019: 5350-5355 - [c59]Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic:
Synchronization of Distributed Controllers in Cyber-Physical Systems. ETFA 2019: 710-717 - [c58]Mahmoud Elfar, Haibei Zhu, Mary L. Cummings, Miroslav Pajic:
Security-Aware Synthesis of Human-UAV Protocols. ICRA 2019: 8011-8017 - [c57]Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic:
Reliable industrial IoT-based distributed automation. IoTDI 2019: 94-105 - [c56]Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee:
LCV: A Verification Tool for Linear Controller Software. TACAS (1) 2019: 213-225 - [e1]Xue Liu, Paulo Tabuada, Miroslav Pajic, Linda Bushnell:
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, Montreal, QC, Canada, April 16-18, 2019. ACM 2019, ISBN 978-1-4503-6285-6 [contents] - [i11]Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic:
Statistical Model Checking for Probabilistic Hyperproperties. CoRR abs/1902.04111 (2019) - [i10]Mahmoud Elfar, Yu Wang, Miroslav Pajic:
Security-Aware Synthesis Using Delayed-Action Games. CoRR abs/1902.04618 (2019) - [i9]Xusheng Luo, Miroslav Pajic, Michael M. Zavlanos:
A Scalable and Optimal Graph-Search Method for Secure State Estimation. CoRR abs/1903.10620 (2019) - [i8]Yu Wang, Alper Kamil Bozkurt, Miroslav Pajic:
Attack-Resilient Supervisory Control of Discrete-Event Systems. CoRR abs/1904.03264 (2019) - [i7]Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic:
Statistical Verification of Hyperproperties for Cyber-Physical System. CoRR abs/1906.07253 (2019) - [i6]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) - [i5]Yu Wang, Siddhartha Nalluri, Miroslav Pajic:
Hyperproperties for Robotics: Motion Planning via HyperLTL. CoRR abs/1911.11870 (2019) - 2018
- [j20]