Miroslav Pajic

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 143

Top Venues

Publications

Zetong Xuan, Alper Kamil Bozkurt, Miroslav Pajic, Yu Wang
On the Uniqueness of Solution for the Bellman Equation of LTL Objectives. CoRR (2024)
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 (2024)
Ge Gao, Qitong Gao, Xi Yang, Song Ju, Miroslav Pajic, Min Chi
On Trajectory Augmentations for Off-Policy Evaluation. ICLR (2024)
Hao-Lun Hsu, Qitong Gao, Miroslav Pajic
ε-Neural Thompson Sampling of Deep Brain Stimulation for Parkinson Disease Treatment. CoRR (2024)
R. Spencer Hallyburton, Miroslav Pajic
Bayesian Methods for Trust in Collaborative Multi-Agent Autonomy. CoRR (2024)
Hao-Lun Hsu, Qitong Gao, Miroslav Pajic
ϵ-Neural Thompson Sampling of Deep Brain Stimulation for Parkinson Disease Treatment. ICCPS (2024)
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) (2024)
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) (2024)
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 (2024)
Hao-Lun Hsu, Miroslav Pajic
Robust exploration with adversary via Langevin Monte Carlo. L4DC (2024)
Hao-Lun Hsu, Weixin Wang, Miroslav Pajic, Pan Xu
Randomized Exploration in Cooperative Multi-Agent Reinforcement Learning. CoRR (2024)
Zetong Xuan, Alper Kamil Bozkurt, Miroslav Pajic, Yu Wang
On the uniqueness of solution for the Bellman equation of LTL objectives. L4DC (2024)
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)
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)
R. Spencer Hallyburton, Nate Zelter, David Hunt, Kristen Angell, Miroslav Pajic
A Modular Platform For Collaborative, Distributed Sensor Fusion. ICCPS (2023)
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)
Muhammad Abdullah Naeem, Miroslav Pajic
Transportation-Inequalities, Lyapunov Stability and Sampling for Dynamical Systems on Continuous State Space. L4DC (2023)
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang
Lightweight Verification of Hyperproperties. ATVA (2023)
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) (2023)
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)
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 (2023)
Juncheng Dong, Hao-Lun Hsu, Qitong Gao, Vahid Tarokh, Miroslav Pajic
Robust Reinforcement Learning through Efficient Adversarial Herding. CoRR (2023)
Muhammad Abdullah Naeem, Amir Khazraei, Miroslav Pajic
From Spectral Theorem to Statistical Independence with Application to System Identification. CoRR (2023)
Aleksandar Jokic, Amir Khazraei, Milica Petrovic, Zivana Jakovljevic, Miroslav Pajic
Cyber-Attacks on Wheeled Mobile Robotic Systems with Visual Servoing Control. IROS (2023)
R. Spencer Hallyburton, Nate Zelter, David Hunt, Kristen Angell, Miroslav Pajic
A Modular Platform For Collaborative, Distributed Sensor Fusion. CoRR (2023)
Amir Khazraei, Miroslav Pajic
Vulnerability Analysis of Nonlinear Control Systems to Stealthy False Data Injection Attacks. CoRR (2023)
Qitong Gao, Ge Gao, Min Chi, Miroslav Pajic
Variational Latent Branching Model for Off-Policy Evaluation. ICLR (2023)
R. Spencer Hallyburton, Miroslav Pajic
Securing Autonomous Vehicles Under Partial-Information Cyber Attacks on LiDAR Data. CoRR (2023)
Amir Khazraei, Haocheng Meng, Miroslav Pajic
Stealthy Perception-based Attacks on Unmanned Aerial Vehicles. CoRR (2023)
Qitong Gao, Ge Gao, Min Chi, Miroslav Pajic
Variational Latent Branching Model for Off-Policy Evaluation. CoRR (2023)
Filip Mazurek, Arya Tschand, Yu Wang, Miroslav Pajic, Daniel J. Sorin
Rigorous Evaluation of Computer Processors with Statistical Model Checking. MICRO (2023)
Qitong Gao, Ge Gao, Juncheng Dong, Vahid Tarokh, Min Chi, Miroslav Pajic
Off-Policy Evaluation for Human Feedback. CoRR (2023)
Ahmed Aloui, Ali Hasan, Yuting Ng, Miroslav Pajic, Vahid Tarokh
Individual Treatment Effects in Extreme Regimes. CoRR (2023)
Robert Spencer Hallyburton, Shucheng Zhang, Miroslav Pajic
AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle Development. ICCPS (2023)
Muhammad Abdullah Naeem, Miroslav Pajic
Spectral Statistics of the Sample Covariance Matrix for High Dimensional Linear Gaussians. CoRR (2023)
Muhammad Abdullah Naeem, Miroslav Pajic
High Dimensional Geometry and Limitations in System Identification. CoRR (2023)
Amir Khazraei, Haocheng Meng, Miroslav Pajic
Stealthy Perception-based Attacks on Unmanned Aerial Vehicles. ICRA (2023)
Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic
IoT-Enabled Motion Control: Architectural Design Challenges and Solutions. IEEE Trans. Ind. Informatics 19 (3) (2023)
Qitong Gao, Ge Gao, Juncheng Dong, Vahid Tarokh, Min Chi, Miroslav Pajic
Off-Policy Evaluation for Human Feedback. NeurIPS (2023)
R. Spencer Hallyburton, Miroslav Pajic
Datasets, Models, and Algorithms for Multi-Sensor, Multi-agent Autonomy Using AVstack. CoRR (2023)
Muhammad Abdullah Naeem, Miroslav Pajic
Transportation-Inequalities, Lyapunov Stability and Sampling for Dynamical Systems on Continuous State Space. CoRR (2022)
Amir Khazraei, Miroslav Pajic
Attack-resilient state estimation with intermittent data authentication. Autom. 138 (2022)
Sangjun Eom, Majda Hadziahmetovic, Miroslav Pajic, Maria Gorlatova
Through an AR Lens: Augmented Reality Magnification through Feature Detection and Matching. SenSys (2022)
Amir Khazraei, Miroslav Pajic
Resiliency of Nonlinear Control Systems to Stealthy Sensor Attacks. CoRR (2022)
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)
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)
Amir Khazraei, Henry Pfister, Miroslav Pajic
Attacks on Perception-Based Control Systems: Modeling and Fundamental Limits. CoRR (2022)
Yu Wang, Qitong Gao, Miroslav Pajic
Learning Monotone Dynamics by Neural Networks. ACC (2022)
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)
R. Spencer Hallyburton, Shucheng Zhang, Miroslav Pajic
AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle Development. CoRR (2022)
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)
R. Spencer Hallyburton, Amir Khazraei, Miroslav Pajic
Optimal Myopic Attacks on Nonlinear Estimation. CDC (2022)
Amir Khazraei, Miroslav Pajic
Resiliency of Nonlinear Control Systems to Stealthy Sensor Attacks. CDC (2022)
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)
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) (2022)
Amir Khazraei, Spencer Hallyburton, Qitong Gao, Yu Wang, Miroslav Pajic
Learning-Based Vulnerability Analysis of Cyber-Physical Systems. ICCPS (2022)
Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic
Security Analysis for Distributed IoT-Based Industrial Automation. IEEE Trans Autom. Sci. Eng. 19 (4) (2022)
R. Spencer Hallyburton, Amir Khazraei, Miroslav Pajic
Optimal Myopic Attacks on Nonlinear Estimation. CoRR (2022)
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)
Ge Gao, Qitong Gao, Xi Yang, Miroslav Pajic, Min Chi
A Reinforcement Learning-Informed Pattern Mining Framework for Multivariate Time Series Classification. IJCAI (2022)
Amir Khazraei, Henry Pfister, Miroslav Pajic
Resiliency of Perception-Based Controllers Against Attacks. L4DC (2022)
Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic
Adaptive Droplet Routing for MEDA Biochips via Deep Reinforcement Learning. DATE (2022)
Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic
Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives. ICRA (2021)
Xusheng Luo, Miroslav Pajic, Michael M. Zavlanos
An optimal graph-search method for secure state estimation. Autom. 123 (2021)
R. Spencer Hallyburton, Yupei Liu, Miroslav Pajic
Security Analysis of Camera-LiDAR Semantic-Level Fusion Against Black-Box Attacks on Autonomous Vehicles. CoRR (2021)
Amir Khazraei, Spencer Hallyburton, Qitong Gao, Yu Wang, Miroslav Pajic
Learning-Based Vulnerability Analysis of Cyber-Physical Systems. CoRR (2021)
Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic
Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning. ICRA (2021)
Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic
Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips. DATE (2021)
Shiqi Sun, Yan Zhang, Xusheng Luo, Panagiotis Vlantis, Miroslav Pajic, Michael M. Zavlanos
Formal Verification of Stochastic Systems with ReLU Neural Network Controllers. CoRR (2021)
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)
Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic
Model-Free Learning of Safe yet Effective Controllers. CDC (2021)
Yu Wang, Alper Kamil Bozkurt, Miroslav Pajic
Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes. CoRR (2021)
Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic
Learning Optimal Strategies for Temporal Tasks in Stochastic Games. CoRR (2021)
Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic
Model-Free Learning of Safe yet Effective Controllers. CoRR (2021)
Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic
Statistical Model Checking for Hyperproperties. CSF (2021)
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 (2021)
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
Probabilistic conformance for cyber-physical systems. ICCPS (2021)
Zivana Jakovljevic, Vuk Lesi, Miroslav Pajic
Attacks on Distributed Sequential Control in Manufacturing Automation. IEEE Trans. Ind. Informatics 17 (2) (2021)
Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning. ICRA (2020)
Vuk Lesi, Ilija Jovanov, Miroslav Pajic
Integrating Security in Resource-Constrained Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. 4 (3) (2020)
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)
Mahmoud Elfar, Yu Wang, Miroslav Pajic
Context-Aware Temporal Logic for Probabilistic Systems. ATVA (2020)
Yu Wang, Siddhartha Nalluri, Miroslav Pajic
Hyperproperties for Robotics: Planning via HyperLTL. ICRA (2020)
Muhammad Abdullah Naeem, Miroslav Pajic
Learning Expected Reward for Switched Linear Control Systems: A Non-Asymptotic View. CoRR (2020)
Zivana Jakovljevic, Vuk Lesi, Stefan Mitrovic, Miroslav Pajic
Distributing Sequential Control for Manufacturing Automation Systems. IEEE Trans. Control. Syst. Technol. 28 (4) (2020)
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
Probabilistic Conformance for Cyber-Physical Systems. CoRR (2020)
Amir Khazraei, Miroslav Pajic
Perfect Attackability of Linear Dynamical Systems with Bounded Noise. ACC (2020)
Mahmoud Elfar, Yu Wang, Miroslav Pajic
Context-Aware Temporal Logic for Probabilistic Systems. CoRR (2020)
Qitong Gao, Miroslav Pajic, Michael M. Zavlanos
Deep Imitative Reinforcement Learning for Temporal Logic Robot Motion Planning with Noisy Semantic Observations. ICRA (2020)
Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic
Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning. CoRR (2020)
Yu Wang, Qitong Gao, Miroslav Pajic
Deep Learning for Stable Monotone Dynamical Systems. CoRR (2020)
Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic
Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives. CoRR (2020)
Mojtaba Zarei, Yu Wang, Miroslav Pajic
Statistical verification of learning-based cyber-physical systems. HSCC (2020)
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) (2020)
Amir Khazraei, Miroslav Pajic
Attack-Resilient State Estimation with Intermittent Data Authentication. CoRR (2020)
Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic
Security Analysis for Distributed IoT-Based Industrial Automation. CoRR (2020)
Mahmoud Elfar, Yu Wang, Miroslav Pajic
Security-Aware Synthesis Using Delayed-Action Games. CAV (1) (2019)
Yu Wang, Siddhartha Nalluri, Miroslav Pajic
Hyperproperties for Robotics: Motion Planning via HyperLTL. CoRR (2019)
Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
Statistical Verification of Hyperproperties for Cyber-Physical System. CoRR (2019)
Ilija Jovanov, Miroslav Pajic
Relaxing Integrity Requirements for Attack-Resilient Cyber-Physical Systems. IEEE Trans. Autom. Control. 64 (12) (2019)

Miroslav Pajic.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Miroslav Pajic