Miroslav Pajic

229 papers A* 23A 15B 3C 6Misc 7Journal 103Unranked 71

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Bot Blitz: A Scalable Hands-On Workshop for Teaching AI and Robotics Concepts Through Narrative-Driven Problem Solving. AAAI Sandra Roach, Karis Boyd-Sinkler, Visrut Sudhakar, Shaundra Daily, Miroslav Pajic, Whitney McCoy
2026	Misc	`conf`	Demo: Control the ARmada: LMM Coordination for Multi-Robot AR-HRC. HotMobile Christian Fronk, Hanting Ye, Miroslav Pajic, Maria Gorlatova
2026	J	`jnl`	NNiT: Width-Agnostic Neural Network Generation with Structurally Aligned Weight Spaces. CoRR JiWoo Kim, Swarajh Mehta, Hao-Lun Hsu, Hyunwoo Ryu, Yudong Liu, Miroslav Pajic
2025	—	`conf`	Assured Autonomy with Neuro-Symbolic Perception. NeuS R. Spencer Hallyburton, Miroslav Pajic
2025	J	`jnl`	Assured Autonomy with Neuro-Symbolic Perception. CoRR R. Spencer Hallyburton, Miroslav Pajic
2025	—	`conf`	Efficient Neuro-Symbolic Policy using In-Memory Computing. NeuS Tergel Molom-Ochir, Naman Saxena, JiWoo Kim, Yiran Chen, Zhangyang (Atlas) Wang, Miroslav Pajic, Hai (Helen) Li
2025	J	`jnl`	LLM-MCoX: Large Language Model-based Multi-robot Coordinated Exploration and Search. CoRR Ruiyang Wang, Haolun Tsu, David Hunt, Shaocheng Luo, JiWoo Kim, Miroslav Pajic
2025	J	`jnl`	LLaViDA: A Large Language Vision Driving Assistant for Explicit Reasoning and Enhanced Trajectory Planning. CoRR Yudong Liu, Spencer Hallyburton, JiWoo Kim, Yueqian Lin, Yiming Li, Qinsi Wang, Hui Ye, Jingwei Sun, Miroslav Pajic, Yiran Chen, Hai Li
2025	J	`jnl`	MARS: Defending Unmanned Aerial Vehicles From Attacks on Inertial Sensors with Model-based Anomaly Detection and Recovery. CoRR Haocheng Meng, Shaocheng Luo, Zhenyuan Liang, Qing Huang, Amir Khazraei, Miroslav Pajic
2025	—	`conf`	Neuro-Symbolic Deadlock Resolution in Multi-Robot Systems. L4DC Ruiyang Wang, Bowen He, Miroslav Pajic
2025	—	`conf`	NeuroStrata: Harnessing Neuro-Symbolic Paradigms for Improved Testability and Verifiability of Autonomous CPS. SIGSOFT FSE Companion Xi Zheng, Ziyang Li, Ivan Ruchkin, Ruzica Piskac, Miroslav Pajic
2025	J	`jnl`	NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS. CoRR Xi Zheng, Ziyang Li, Ivan Ruchkin, Ruzica Piskac, Miroslav Pajic
2025	J	`jnl`	Probabilistic Segmentation for Robust Field of View Estimation. CoRR R. Spencer Hallyburton, David Hunt, Yiwei He, Judy He, Miroslav Pajic
2025	A	`conf`	RaGNNarok: A Light-Weight Graph Neural Network for Enhancing Radar Point Clouds on Unmanned Ground Vehicles. IROS David Hunt, Shaocheng Luo, Spencer Hallyburton, Shafii Nillongo, Yi Li, Tingjun Chen, Miroslav Pajic
2025	J	`jnl`	RaGNNarok: A Light-Weight Graph Neural Network for Enhancing Radar Point Clouds on Unmanned Ground Vehicles. CoRR David Hunt, Shaocheng Luo, Spencer Hallyburton, Shafii Nillongo, Yi Li, Tingjun Chen, Miroslav Pajic
2025	J	`jnl`	Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking. CoRR Weihang Li, Pete Crowley, Arya Tschand, Yu Wang, Miroslav Pajic, Daniel J. Sorin
2025	—	`conf`	Safe Cooperative Multi-Agent Reinforcement Learning with Function Approximation. L4DC Hao-Lun Hsu, Miroslav Pajic
2025	A*	`conf`	Security-Aware Sensor Fusion with MATE: the Multi-Agent Trust Estimator. CCS R. Spencer Hallyburton, Miroslav Pajic
2025	J	`jnl`	Security-Aware Sensor Fusion with MATE: the Multi-Agent Trust Estimator. CoRR R. Spencer Hallyburton, Miroslav Pajic
2025	J	`jnl`	SoK: How Sensor Attacks Disrupt Autonomous Vehicles: An End-to-end Analysis, Challenges, and Missed Threats. CoRR Qingzhao Zhang, Shaocheng Luo, Z. Morley Mao, Miroslav Pajic, Michael K. Reiter
2025	—	`conf`	Trust-Based Assured Sensor Fusion in Distributed Aerial Autonomy. ICCPS R. Spencer Hallyburton, Miroslav Pajic
2025	J	`jnl`	Trusted Data Fusion, Multi-Agent Autonomy, Autonomous Vehicles. CoRR R. Spencer Hallyburton, Miroslav Pajic
2025	A	`conf`	Variational Adversarial Training Towards Policies with Improved Robustness. AISTATS Juncheng Dong, Hao-Lun Hsu, Qitong Gao, Vahid Tarokh, Miroslav Pajic
2024	J	`jnl`	A Multi-Agent Security Testbed for the Analysis of Attacks and Defenses in Collaborative Sensor Fusion. CoRR R. Spencer Hallyburton, David Hunt, Shaocheng Luo, Miroslav Pajic
2024	J	`jnl`	Athena - The NSF AI Institute for Edge Computing. AI Mag. Yiran Chen, Suman Banerjee, Shaundra Daily, Jeffery Krolik, Hai (Helen) Li, Daniel B. Limbrick, Miroslav Pajic, Rajashi Runton, Lin Zhong
2024	J	`jnl`	Attacks on Perception-Based Control Systems: Modeling and Fundamental Limits. IEEE Trans. Autom. Control. Amir Khazraei, Henry D. Pfister, Miroslav Pajic
2024	—	`conf`	Bayesian Methods for Trust in Collaborative Multi-Agent Autonomy. CDC R. Spencer Hallyburton, Miroslav Pajic
2024	J	`jnl`	Bayesian Methods for Trust in Collaborative Multi-Agent Autonomy. CoRR R. Spencer Hallyburton, Miroslav Pajic
2024	—	`conf`	Black-box Stealthy GPS Attacks on Unmanned Aerial Vehicles. CDC Amir Khazraei, Haocheng Meng, Miroslav Pajic
2024	J	`jnl`	Black-box Stealthy GPS Attacks on Unmanned Aerial Vehicles. CoRR Amir Khazraei, Haocheng Meng, Miroslav Pajic
2024	J	`jnl`	Determining Novice and Expert Status in Human-Automation Interaction Through Hidden Markov Models. Appl. Artif. Intell. Anne French, Mary L. Cummings, Haibei Zhu, Miroslav Pajic
2024	J	`jnl`	Learning Optimal Strategies for Temporal Tasks in Stochastic Games. IEEE Trans. Autom. Control. Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic
2024	A*	`conf`	MadRadar: A Black-Box Physical Layer Attack Framework on mmWave Automotive FMCW Radars. NDSS David Hunt, Kristen Angell, Zhenzhou Qi, Tingjun Chen, Miroslav Pajic
2024	J	`jnl`	Neuro-Symbolic Computing: Advancements and Challenges in Hardware-Software Co-Design. IEEE Trans. Circuits Syst. II Express Briefs Xiaoxuan Yang, Zhangyang Wang, X. Sharon Hu, Chris H. Kim, Shimeng Yu, Miroslav Pajic, Rajit Manohar, Yiran Chen, Hai Helen Li
2024	A*	`conf`	Off-Policy Selection for Initiating Human-Centric Experimental Design. NeurIPS Ge Gao, Xi Yang, Qitong Gao, Song Ju, Miroslav Pajic, Min Chi
2024	J	`jnl`	Off-Policy Selection for Initiating Human-Centric Experimental Design. CoRR Ge Gao, Xi Yang, Qitong Gao, Song Ju, Miroslav Pajic, Min Chi
2024	A*	`conf`	On Trajectory Augmentations for Off-Policy Evaluation. ICLR Ge Gao, Qitong Gao, Xi Yang, Song Ju, Miroslav Pajic, Min Chi
2024	J	`jnl`	On the Uniqueness of Solution for the Bellman Equation of LTL Objectives. CoRR Zetong Xuan, Alper Kamil Bozkurt, Miroslav Pajic, Yu Wang
2024	—	`conf`	On the uniqueness of solution for the Bellman equation of LTL objectives. L4DC Zetong Xuan, Alper Kamil Bozkurt, Miroslav Pajic, Yu Wang
2024	A*	`conf`	REFORMA: Robust REinFORceMent Learning via Adaptive Adversary for Drones Flying under Disturbances. ICRA Hao-Lun Hsu, Haocheng Meng, Shaocheng Luo, Juncheng Dong, Vahid Tarokh, Miroslav Pajic
2024	A*	`conf`	RadCloud: Real-Time High-Resolution Point Cloud Generation Using Low-Cost Radars for Aerial and Ground Vehicles. ICRA David Hunt, Shaocheng Luo, Amir Khazraei, Xiao Zhang, Spencer Hallyburton, Tingjun Chen, Miroslav Pajic
2024	J	`jnl`	RadCloud: Real-Time High-Resolution Point Cloud Generation Using Low-Cost Radars for Aerial and Ground Vehicles. CoRR David Hunt, Shaocheng Luo, Amir Khazraei, Xiao Zhang, Spencer Hallyburton, Tingjun Chen, Miroslav Pajic
2024	A*	`conf`	RadCloud: Real-Time High-Resolution Point Cloud Generation Using Low-Cost mmWave Radars for Aerial and Ground Vehicles. MobiCom David Hunt, Shaocheng Luo, Amir Khazraei, Xiao Zhang, Spencer Hallyburton, Tingjun Chen, Miroslav Pajic
2024	A*	`conf`	Randomized Exploration in Cooperative Multi-Agent Reinforcement Learning. NeurIPS Hao-Lun Hsu, Weixin Wang, Miroslav Pajic, Pan Xu
2024	J	`jnl`	Randomized Exploration in Cooperative Multi-Agent Reinforcement Learning. CoRR Hao-Lun Hsu, Weixin Wang, Miroslav Pajic, Pan Xu
2024	—	`conf`	Robust exploration with adversary via Langevin Monte Carlo. L4DC Hao-Lun Hsu, Miroslav Pajic
2024	A	`conf`	Steering Decision Transformers via Temporal Difference Learning. IROS Hao-Lun Hsu, Alper Kamil Bozkurt, Juncheng Dong, Qitong Gao, Vahid Tarokh, Miroslav Pajic
2024	J	`jnl`	ε-Neural Thompson Sampling of Deep Brain Stimulation for Parkinson Disease Treatment. CoRR Hao-Lun Hsu, Qitong Gao, Miroslav Pajic
2024	—	`conf`	ϵ-Neural Thompson Sampling of Deep Brain Stimulation for Parkinson Disease Treatment. ICCPS Hao-Lun Hsu, Qitong Gao, Miroslav Pajic
2023	—	`conf`	A Modular Platform For Collaborative, Distributed Sensor Fusion. ICCPS R. Spencer Hallyburton, Nate Zelter, David Hunt, Kristen Angell, Miroslav Pajic
2023	J	`jnl`	A Modular Platform For Collaborative, Distributed Sensor Fusion. CoRR R. Spencer Hallyburton, Nate Zelter, David Hunt, Kristen Angell, Miroslav Pajic
2023	—	`conf`	AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle Development. ICCPS Robert Spencer Hallyburton, Shucheng Zhang, Miroslav Pajic
2023	A	`conf`	Cyber-Attacks on Wheeled Mobile Robotic Systems with Visual Servoing Control. IROS Aleksandar Jokic, Amir Khazraei, Milica Petrovic, Zivana Jakovljevic, Miroslav Pajic
2023	J	`jnl`	Datasets, Models, and Algorithms for Multi-Sensor, Multi-agent Autonomy Using AVstack. CoRR R. Spencer Hallyburton, Miroslav Pajic
2023	J	`jnl`	Deep Reinforcement Learning-Based Approach for Efficient and Reliable Droplet Routing on MEDA Biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Mahmoud Elfar, Yi-Chen Chang, Harrison Hao-Yu Ku, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic
2023	—	`conf`	Demo Abstract: Edge-based Augmented Reality Guidance System for Retinal Laser Therapy via Feature Matching. IPSN Sangjun Eom, Ritvik Janamsetty, Majda Hadziahmetovic, Miroslav Pajic, Maria Gorlatova
2023	J	`jnl`	From Spectral Theorem to Statistical Independence with Application to System Identification. CoRR Muhammad Abdullah Naeem, Amir Khazraei, Miroslav Pajic
2023	J	`jnl`	High Dimensional Geometry and Limitations in System Identification. CoRR Muhammad Abdullah Naeem, Miroslav Pajic
2023	J	`jnl`	Individual Treatment Effects in Extreme Regimes. CoRR Ahmed Aloui, Ali Hasan, Yuting Ng, Miroslav Pajic, Vahid Tarokh
2023	J	`jnl`	IoT-Enabled Motion Control: Architectural Design Challenges and Solutions. IEEE Trans. Ind. Informatics Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic
2023	B	`conf`	Lightweight Verification of Hyperproperties. ATVA Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang
2023	A*	`conf`	Off-Policy Evaluation for Human Feedback. NeurIPS Qitong Gao, Ge Gao, Juncheng Dong, Vahid Tarokh, Min Chi, Miroslav Pajic
2023	J	`jnl`	Off-Policy Evaluation for Human Feedback. CoRR Qitong Gao, Ge Gao, Juncheng Dong, Vahid Tarokh, Min Chi, Miroslav Pajic
2023	—	`conf`	Offline Learning of Closed-Loop Deep Brain Stimulation Controllers for Parkinson Disease Treatment. ICCPS Qitong Gao, Stephen L. Schmidt, Afsana Chowdhury, Guangyu Feng, Jennifer J. Peters, Katherine Genty, Warren M. Grill, Dennis A. Turner, Miroslav Pajic
2023	J	`jnl`	Offline Learning of Closed-Loop Deep Brain Stimulation Controllers for Parkinson Disease Treatment. CoRR Qitong Gao, Stephen L. Schmidt, Afsana Chowdhury, Guangyu Feng, Jennifer J. Peters, Katherine Genty, Warren M. Grill, Dennis A. Turner, Miroslav Pajic
2023	A*	`conf`	Rigorous Evaluation of Computer Processors with Statistical Model Checking. MICRO Filip Mazurek, Arya Tschand, Yu Wang, Miroslav Pajic, Daniel J. Sorin
2023	J	`jnl`	Robust Reinforcement Learning through Efficient Adversarial Herding. CoRR Juncheng Dong, Hao-Lun Hsu, Qitong Gao, Vahid Tarokh, Miroslav Pajic
2023	J	`jnl`	Securing Autonomous Vehicles Under Partial-Information Cyber Attacks on LiDAR Data. CoRR R. Spencer Hallyburton, Miroslav Pajic
2023	J	`jnl`	Spectral Statistics of the Sample Covariance Matrix for High Dimensional Linear Gaussians. CoRR Muhammad Abdullah Naeem, Miroslav Pajic
2023	A*	`conf`	Stealthy Perception-based Attacks on Unmanned Aerial Vehicles. ICRA Amir Khazraei, Haocheng Meng, Miroslav Pajic
2023	J	`jnl`	Stealthy Perception-based Attacks on Unmanned Aerial Vehicles. CoRR Amir Khazraei, Haocheng Meng, Miroslav Pajic
2023	—	`conf`	Transportation-Inequalities, Lyapunov Stability and Sampling for Dynamical Systems on Continuous State Space. L4DC Muhammad Abdullah Naeem, Miroslav Pajic
2023	A*	`conf`	Variational Latent Branching Model for Off-Policy Evaluation. ICLR Qitong Gao, Ge Gao, Min Chi, Miroslav Pajic
2023	J	`jnl`	Variational Latent Branching Model for Off-Policy Evaluation. CoRR Qitong Gao, Ge Gao, Min Chi, Miroslav Pajic
2023	J	`jnl`	Vulnerability Analysis of Nonlinear Control Systems to Stealthy False Data Injection Attacks. CoRR Amir Khazraei, Miroslav Pajic
2022	A*	`conf`	A Reinforcement Learning-Informed Pattern Mining Framework for Multivariate Time Series Classification. IJCAI Ge Gao, Qitong Gao, Xi Yang, Miroslav Pajic, Min Chi
2022	—	`conf`	A comparison of an implanted accelerometer with a wearable accelerometer for closed-loop DBS. EMBC Erick Rojas, Stephen L. Schmidt, Afsana Chowdhury, Miroslav Pajic, Dennis A. Turner, Deborah S. Won
2022	J	`jnl`	AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle Development. CoRR R. Spencer Hallyburton, Shucheng Zhang, Miroslav Pajic
2022	A	`conf`	Adaptive Droplet Routing for MEDA Biochips via Deep Reinforcement Learning. DATE Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic
2022	J	`jnl`	Attack-resilient state estimation with intermittent data authentication. Autom. Amir Khazraei, Miroslav Pajic
2022	J	`jnl`	Attacks on Perception-Based Control Systems: Modeling and Fundamental Limits. CoRR Amir Khazraei, Henry D. Pfister, Miroslav Pajic
2022	J	`jnl`	Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic
2022	A*	`conf`	Formal Verification of Stochastic Systems with ReLU Neural Network Controllers. ICRA Shiqi Sun, Yan Zhang, Xusheng Luo, Panagiotis Vlantis, Miroslav Pajic, Michael M. Zavlanos
2022	A*	`conf`	Gradient Importance Learning for Incomplete Observations. ICLR Qitong Gao, Dong Wang, Joshua David Amason, Siyang Yuan, Chenyang Tao, Ricardo Henao, Majda Hadziahmetovic, Lawrence Carin, Miroslav Pajic
2022	—	`conf`	Insights on Using Deep Learning to Spoof Inertial Measurement Units for Stealthy Attacks on UAVs. MILCOM Kyo Hyun Kim, Denizkhan Kara, Vineetha Paruchuri, Sibin Mohan, Greg Kimberly, Denis Osipychev, Jae H. Kim, Josh D. Eckhardt, Miroslav Pajic
2022	C	`conf`	Learning Monotone Dynamics by Neural Networks. ACC Yu Wang, Qitong Gao, Miroslav Pajic
2022	—	`conf`	Learning-Based Vulnerability Analysis of Cyber-Physical Systems. ICCPS Amir Khazraei, Spencer Hallyburton, Qitong Gao, Yu Wang, Miroslav Pajic
2022	—	`conf`	Offline Policy Evaluation for Learning-based Deep Brain Stimulation Controllers. ICCPS Qitong Gao, Stephen L. Schmidt, Karthik Kamaravelu, Dennis A. Turner, Warren M. Grill, Miroslav Pajic
2022	—	`conf`	Optimal Myopic Attacks on Nonlinear Estimation. CDC R. Spencer Hallyburton, Amir Khazraei, Miroslav Pajic
2022	J	`jnl`	Optimal Myopic Attacks on Nonlinear Estimation. CoRR R. Spencer Hallyburton, Amir Khazraei, Miroslav Pajic
2022	—	`conf`	Resiliency of Nonlinear Control Systems to Stealthy Sensor Attacks. CDC Amir Khazraei, Miroslav Pajic
2022	J	`jnl`	Resiliency of Nonlinear Control Systems to Stealthy Sensor Attacks. CoRR Amir Khazraei, Miroslav Pajic
2022	—	`conf`	Resiliency of Perception-Based Controllers Against Attacks. L4DC Amir Khazraei, Henry D. Pfister, Miroslav Pajic
2022	J	`jnl`	Security Analysis for Distributed IoT-Based Industrial Automation. IEEE Trans Autom. Sci. Eng. Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic
2022	A*	`conf`	Security Analysis of Camera-LiDAR Fusion Against Black-Box Attacks on Autonomous Vehicles. USENIX Security Symposium R. Spencer Hallyburton, Yupei Liu, Yulong Cao, Z. Morley Mao, Miroslav Pajic
2022	Misc	`conf`	Through an AR Lens: Augmented Reality Magnification through Feature Detection and Matching. SenSys Sangjun Eom, Majda Hadziahmetovic, Miroslav Pajic, Maria Gorlatova
2022	J	`jnl`	Transportation-Inequalities, Lyapunov Stability and Sampling for Dynamical Systems on Continuous State Space. CoRR Muhammad Abdullah Naeem, Miroslav Pajic
2021	—	`conf`	AI-Powered IoT System at the Edge. CogMI Yiran Chen, Ang Li, Huanrui Yang, Tunhou Zhang, Yuewei Yang, Hai Li, Suman Banerjee, Miroslav Pajic
2021	J	`jnl`	An optimal graph-search method for secure state estimation. Autom. Xusheng Luo, Miroslav Pajic, Michael M. Zavlanos
2021	J	`jnl`	Attacks on Distributed Sequential Control in Manufacturing Automation. IEEE Trans. Ind. Informatics Zivana Jakovljevic, Vuk Lesi, Miroslav Pajic
2021	A	`conf`	Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips. DATE Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic
2021	J	`jnl`	Formal Verification of Stochastic Systems with ReLU Neural Network Controllers. CoRR Shiqi Sun, Yan Zhang, Xusheng Luo, Panagiotis Vlantis, Miroslav Pajic, Michael M. Zavlanos
2021	J	`jnl`	Imputation-Free Learning from Incomplete Observations. CoRR Qitong Gao, Dong Wang, Joshua D. Amason, Siyang Yuan, Chenyang Tao, Ricardo Henao, Majda Hadziahmetovic, Lawrence Carin, Miroslav Pajic
2021	J	`jnl`	Learning Optimal Strategies for Temporal Tasks in Stochastic Games. CoRR Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic
2021	J	`jnl`	Learning-Based Vulnerability Analysis of Cyber-Physical Systems. CoRR Amir Khazraei, Spencer Hallyburton, Qitong Gao, Yu Wang, Miroslav Pajic
2021	—	`conf`	Model-Free Learning of Safe yet Effective Controllers. CDC Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic
2021	J	`jnl`	Model-Free Learning of Safe yet Effective Controllers. CoRR Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic
2021	A*	`conf`	Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives. ICRA Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic
2021	—	`conf`	Probabilistic conformance for cyber-physical systems. ICCPS Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
2021	J	`jnl`	Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes. CoRR Yu Wang, Alper Kamil Bozkurt, Miroslav Pajic
2021	A*	`conf`	Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning. ICRA Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic
2021	J	`jnl`	Security Analysis of Camera-LiDAR Semantic-Level Fusion Against Black-Box Attacks on Autonomous Vehicles. CoRR R. Spencer Hallyburton, Yupei Liu, Miroslav Pajic
2021	A	`conf`	Statistical Model Checking for Hyperproperties. CSF Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic
2020	J	`jnl`	Attack-Resilient State Estimation with Intermittent Data Authentication. CoRR Amir Khazraei, Miroslav Pajic
2020	B	`conf`	Context-Aware Temporal Logic for Probabilistic Systems. ATVA Mahmoud Elfar, Yu Wang, Miroslav Pajic
2020	J	`jnl`	Context-Aware Temporal Logic for Probabilistic Systems. CoRR Mahmoud Elfar, Yu Wang, Miroslav Pajic
2020	A*	`conf`	Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning. ICRA Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic
2020	A*	`conf`	Deep Imitative Reinforcement Learning for Temporal Logic Robot Motion Planning with Noisy Semantic Observations. ICRA Qitong Gao, Miroslav Pajic, Michael M. Zavlanos
2020	J	`jnl`	Deep Learning for Stable Monotone Dynamical Systems. CoRR Yu Wang, Qitong Gao, Miroslav Pajic
2020	J	`jnl`	Distributing Sequential Control for Manufacturing Automation Systems. IEEE Trans. Control. Syst. Technol. Zivana Jakovljevic, Vuk Lesi, Stefan Mitrovic, Miroslav Pajic
2020	J	`jnl`	Extending the Lifetime of MEDA Biochips by Selective Sensing on Microelectrodes. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Tung-Che Liang, Zhanwei Zhong, Miroslav Pajic, Krishnendu Chakrabarty
2020	A*	`conf`	Hyperproperties for Robotics: Planning via HyperLTL. ICRA Yu Wang, Siddhartha Nalluri, Miroslav Pajic
2020	J	`jnl`	Integrating Security in Resource-Constrained Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. Vuk Lesi, Ilija Jovanov, Miroslav Pajic
2020	J	`jnl`	Learning Expected Reward for Switched Linear Control Systems: A Non-Asymptotic View. CoRR Muhammad Abdullah Naeem, Miroslav Pajic
2020	—	`conf`	Model-Based Design of Closed Loop Deep Brain Stimulation Controller using Reinforcement Learning. ICCPS Qitong Gao, Michael Naumann, Ilija Jovanov, Vuk Lesi, Karthik Kumaravelu, Warren M. Grill, Miroslav Pajic
2020	J	`jnl`	Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives. CoRR Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic
2020	C	`conf`	Perfect Attackability of Linear Dynamical Systems with Bounded Noise. ACC Amir Khazraei, Miroslav Pajic
2020	J	`jnl`	Probabilistic Conformance for Cyber-Physical Systems. CoRR Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
2020	J	`jnl`	Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning. CoRR Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic
2020	J	`jnl`	Security Analysis for Distributed IoT-Based Industrial Automation. CoRR Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic
2020	—	`conf`	Statistical verification of learning-based cyber-physical systems. HSCC Mojtaba Zarei, Yu Wang, Miroslav Pajic
2019	J	`jnl`	A Scalable and Optimal Graph-Search Method for Secure State Estimation. CoRR Xusheng Luo, Miroslav Pajic, Michael M. Zavlanos
2019	J	`jnl`	Attack-Resilient Supervisory Control of Discrete-Event Systems. CoRR Yu Wang, Alper Kamil Bozkurt, Miroslav Pajic
2019	—	`conf`	Attack-Resilient Supervisory Control with Intermittently Secure Communication. CDC Yu Wang, Miroslav Pajic
2019	J	`jnl`	Continuous Estimation Using Context-Dependent Discrete Measurements. IEEE Trans. Autom. Control. Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George J. Pappas, Insup Lee
2019	J	`jnl`	Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning. CoRR Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic
2019	J	`jnl`	Hyperproperties for Robotics: Motion Planning via HyperLTL. CoRR Yu Wang, Siddhartha Nalluri, Miroslav Pajic
2019	—	`conf`	LCV: A Verification Tool for Linear Controller Software. TACAS (1) Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee
2019	J	`jnl`	Operator Strategy Model Development in UAV Hacking Detection. IEEE Trans. Hum. Mach. Syst. Haibei Zhu, Mary L. Cummings, Mahmoud Elfar, Ziyao Wang, Miroslav Pajic
2019	—	`ed.`	Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, Montreal, QC, Canada, April 16-18, 2019 ICCPS Xue Liu, Paulo Tabuada, Miroslav Pajic, Linda Bushnell
2019	J	`jnl`	Relaxing Integrity Requirements for Attack-Resilient Cyber-Physical Systems. IEEE Trans. Autom. Control. Ilija Jovanov, Miroslav Pajic
2019	—	`conf`	Reliable industrial IoT-based distributed automation. IoTDI Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic
2019	—	`conf`	Security-Aware Synthesis Using Delayed-Action Games. CAV (1) Mahmoud Elfar, Yu Wang, Miroslav Pajic
2019	J	`jnl`	Security-Aware Synthesis Using Delayed-Action Games. CoRR Mahmoud Elfar, Yu Wang, Miroslav Pajic
2019	A*	`conf`	Security-Aware Synthesis of Human-UAV Protocols. ICRA Mahmoud Elfar, Haibei Zhu, Mary L. Cummings, Miroslav Pajic
2019	J	`jnl`	Statistical Model Checking for Probabilistic Hyperproperties. CoRR Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour, Miroslav Pajic
2019	J	`jnl`	Statistical Verification of Hyperproperties for Cyber-Physical System. CoRR Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
2019	J	`jnl`	Statistical Verification of Hyperproperties for Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, Miroslav Pajic
2019	—	`conf`	Supervisory Control of Discrete Event Systems in the Presence of Sensor and Actuator Attacks. CDC Yu Wang, Miroslav Pajic
2019	C	`conf`	Synchronization of Distributed Controllers in Cyber-Physical Systems. ETFA Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic
2018	J	`jnl`	A hybrid stochastic game for secure control of cyber-physical systems. Autom. Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas
2018	J	`jnl`	Efficient and Adaptive Error Recovery in a Micro-Electrode-Dot-Array Digital Microfluidic Biochip. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zipeng Li, Kelvin Yi-Tse Lai, John McCrone, Po-Hsien Yu, Krishnendu Chakrabarty, Miroslav Pajic, Tsung-Yi Ho, Chen-Yi Lee
2018	J	`jnl`	Guest Editorial: Special Issue on Medical Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. Insup Lee, Miroslav Pajic
2018	—	`conf`	Human Augmentation of UAV Cyber-Attack Detection. HCI (16) Haibei Zhu, Mahmoud Elfar, Miroslav Pajic, Ziyao Wang, Mary L. Cummings
2018	J	`jnl`	Integrating Security in Resource-Constrained Cyber-Physical Systems. CoRR Vuk Lesi, Ilija Jovanov, Miroslav Pajic
2018	—	`conf`	Learning-based control design for deep brain stimulation. ICCPS Ilija Jovanov, Michael Naumann, Karthik Kumaravelu, Vuk Lesi, Aditya Zutshi, Warren M. Grill, Miroslav Pajic
2018	—	`conf`	Opportunities and Challenges in Monitoring Cyber-Physical Systems Security. ISoLA (4) Borzoo Bonakdarpour, Jyotirmoy V. Deshmukh, Miroslav Pajic
2018	—	`conf`	Platform for model-based design and testing for deep brain stimulation. ICCPS Ilija Jovanov, Michael Naumann, Karthik Kumaravelu, Warren M. Grill, Miroslav Pajic
2018	—	`conf`	Secure State Estimation with Cumulative Message Authentication. CDC Ilija Jovanov, Miroslav Pajic
2017	J	`jnl`	A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems. CoRR Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas
2017	J	`jnl`	Attack-Resilient State Estimation for Noisy Dynamical Systems. IEEE Trans. Control. Netw. Syst. Miroslav Pajic, Insup Lee, George J. Pappas
2017	—	`conf`	Automatic Verification of Finite Precision Implementations of Linear Controllers. TACAS (1) Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee
2017	J	`jnl`	Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks. IEEE Trans. Control. Netw. Syst. Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas
2017	A	`conf`	Network Scheduling for Secure Cyber-Physical Systems. RTSS Vuk Lesi, Ilija Jovanov, Miroslav Pajic
2017	—	`conf`	Platform for security-aware design of human-on-the-loop cyber-physical systems. ICCPS Mahmoud Elfar, Haibei Zhu, Adithya Raghunathan, Yi Y. Tay, Jeffrey Wubbenhorst, Mary L. Cummings, Miroslav Pajic
2017	J	`jnl`	Relaxing Integrity Requirements for Attack-Resilient Cyber-Physical Systems. CoRR Ilija Jovanov, Miroslav Pajic
2017	J	`jnl`	Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. ACM Trans. Cyber Phys. Syst. Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Sang Hyuk Son, Insup Lee
2017	J	`jnl`	Security-Aware Scheduling of Embedded Control Tasks. ACM Trans. Embed. Comput. Syst. Vuk Lesi, Ilija Jovanov, Miroslav Pajic
2017	—	`conf`	Sporadic data integrity for secure state estimation. CDC Ilija Jovanov, Miroslav Pajic
2017	J	`jnl`	Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips. ACM Trans. Embed. Comput. Syst. Mahmoud Elfar, Zhanwei Zhong, Zipeng Li, Krishnendu Chakrabarty, Miroslav Pajic
2016	Misc	`conf`	A real-time digital-microfluidic platform for epigenetics. CASES Mohamed Ibrahim, Craig Boswell, Krishnendu Chakrabarty, Kristin Scott, Miroslav Pajic
2016	J	`jnl`	Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. Radoslav Ivanov, Miroslav Pajic, Insup Lee
2016	J	`jnl`	Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks. CoRR Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas
2016	A	`conf`	Error recovery in a micro-electrode-dot-array digital microfluidic biochip? ICCAD Zipeng Li, Kelvin Yi-Tse Lai, Po-Hsien Yu, Krishnendu Chakrabarty, Miroslav Pajic, Tsung-Yi Ho, Chen-Yi Lee
2016	—	`conf`	Estimation of Blood Oxygen Content Using Context-Aware Filtering. ICCPS Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan F. Simpao, Mohamed A. Rehman, George J. Pappas, Insup Lee
2016	Misc	`conf`	Making the internet-of-things a reality: from smart models, sensing and actuation to energy-efficient architectures. CODES+ISSS Paul Bogdan, Miroslav Pajic, Partha Pratim Pande, Vijay Raghunathan
2016	A	`conf`	Scalable Verification of Linear Controller Software. TACAS Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky
2016	Misc	`conf`	Three challenges in cyber-physical systems. COMSNETS Rahul Mangharam, Houssam Abbas, Madhur Behl, Kuk Jin Jang, Miroslav Pajic, Zhihao Jiang
2016	C	`conf`	Towards Plug-n-Play numerical control for Reconfigurable Manufacturing Systems. ETFA Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic
2015	—	`conf`	Attack-resilient state estimation in the presence of noise. CDC Miroslav Pajic, Paulo Tabuada, Insup Lee, George J. Pappas
2015	Misc	`conf`	Automatic verification of linear controller software. EMSOFT Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, Oleg Sokolsky
2015	Misc	`conf`	Design methodologies for securing cyber-physical systems. CODES+ISSS Mohammad Abdullah Al Faruque, Francesco Regazzoni, Miroslav Pajic
2015	J	`jnl`	Opportunistic Control Over Shared Wireless Channels. IEEE Trans. Autom. Control. Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas
2015	J	`jnl`	Recognition of Planar Segments in Point Cloud Based on Wavelet Transform. IEEE Trans. Ind. Informatics Zivana Jakovljevic, Radovan Puzovic, Miroslav Pajic
2015	—	`conf`	Robust estimation using context-aware filtering. Allerton Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George J. Pappas, Insup Lee
2015	—	`conf`	Sensor attack detection in the presence of transient faults. ICCPS Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Insup Lee
2014	A	`conf`	Attack resilient state estimation for autonomous robotic systems. IROS Nicola Bezzo, James Weimer, Miroslav Pajic, Oleg Sokolsky, George J. Pappas, Insup Lee
2014	C	`conf`	Attack-resilient minimum mean-squared error estimation. ACC James Weimer, Nicola Bezzo, Miroslav Pajic, Oleg Sokolsky, Insup Lee
2014	A	`conf`	Attack-resilient sensor fusion. DATE Radoslav Ivanov, Miroslav Pajic, Insup Lee
2014	J	`jnl`	Closed-loop verification of medical devices with model abstraction and refinement. Int. J. Softw. Tools Technol. Transf. Zhihao Jiang, Miroslav Pajic, Rajeev Alur, Rahul Mangharam
2014	—	`conf`	Coding sensor outputs for injection attacks detection. CDC Fei Miao, Quanyan Zhu, Miroslav Pajic, George J. Pappas
2014	J	`jnl`	Fuzzy inference mechanism for recognition of contact states in intelligent robotic assembly. J. Intell. Manuf. Zivana Jakovljevic, Petar B. Petrovic, Vladimir Dj. Mikovic, Miroslav Pajic
2014	J	`jnl`	Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE Trans. Ind. Informatics Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, Insup Lee
2014	—	`conf`	Opportunistic scheduling of control tasks over shared wireless channels. ICCPS Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas
2014	—	`conf`	Opportunistic sensor scheduling in wireless control systems. CDC Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas
2014	—	`conf`	Resilient multidimensional sensor fusion using measurement history. HiCoNS Radoslav Ivanov, Miroslav Pajic, Insup Lee
2014	—	`conf`	Robustness of attack-resilient state estimators. ICCPS Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George J. Pappas
2014	J	`jnl`	Safety-critical medical device development using the UPP2SF model translation tool. ACM Trans. Embed. Comput. Syst. Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
2013	C	`conf`	Networked realization of discrete-time controllers. ACC Fei Miao, Miroslav Pajic, Rahul Mangharam, George J. Pappas
2013	—	`conf`	Power-aware communication for wireless sensor-actuator systems. CDC Konstantinos Gatsis, Miroslav Pajic, Alejandro Ribeiro, George J. Pappas
2013	—	`conf`	Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. CPSW@CISS James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, Insup Lee
2013	—	`conf`	Stabilizability over deterministic relay networks. CDC Miroslav Pajic, Shreyas Sundaram, George J. Pappas
2013	—	`conf`	Stochastic game approach for replay attack detection. CDC Fei Miao, Miroslav Pajic, George J. Pappas
2013	—	`conf`	Synthesis of platform-aware attack-resilient vehicular systems. ICCPS Miroslav Pajic, Nathan Michael, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas, Paulo Tabuada, Insup Lee
2013	J	`jnl`	Topological Conditions for In-Network Stabilization of Dynamical Systems. IEEE J. Sel. Areas Commun. Miroslav Pajic, Rahul Mangharam, George J. Pappas, Shreyas Sundaram
2013	—	`conf`	Towards synthesis of platform-aware attack-resilient control systems: extended abstract. HiCoNS Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee
2012	—	`conf`	Closing the loop: a simple distributed method for control over wireless networks. IPSN Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam
2012	J	`jnl`	Cyber-Physical Modeling of Implantable Cardiac Medical Devices. Proc. IEEE Zhihao Jiang, Miroslav Pajic, Rahul Mangharam
2012	—	`conf`	Demo Abstract: Model-Based Testing of Implantable Cardiac Devices. ICCPS Shilpa Sarode, Sriram Radhakrishnan, Varun Sampath, Zhihao Jiang, Miroslav Pajic, Rahul Mangharam
2012	A	`conf`	From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. IEEE Real-Time and Embedded Technology and Applications Symposium Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
2012	A	`conf`	Modeling and Verification of a Dual Chamber Implantable Pacemaker. TACAS Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam
2012	J	`jnl`	Robust architectures for embedded wireless network control and actuation. ACM Trans. Embed. Comput. Syst. Miroslav Pajic, Alexander Chernoguzov, Rahul Mangharam
2011	—	`conf`	Architecture for a fully distributed Wireless Control Network. IPSN Miroslav Pajic, Shreyas Sundaram, Mansimar Aneja, Srinivas Vemuri, Rahul Mangharam, George J. Pappas
2011	—	`conf`	Demo abstract: Closed-loop testing for implantable cardiac pacemakers. IPSN Zhihao Jiang, Miroslav Pajic, Rahul Mangharam
2011	—	`conf`	Model-Based Closed-Loop Testing of Implantable Pacemakers. ICCPS Zhihao Jiang, Miroslav Pajic, Rahul Mangharam
2011	—	`conf`	Network synthesis for dynamical system stabilization. ACSCC Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam
2011	J	`jnl`	The Wireless Control Network: A New Approach for Control Over Networks. IEEE Trans. Autom. Control. Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam
2011	—	`conf`	Topological conditions for wireless control networks. CDC/ECC Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam
2010	—	`conf`	A platform for implantable medical device validation. IPSN Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, Rahul Mangharam
2010	—	`conf`	A platform for implantable medical device validation: demo abstract. Wireless Health Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam
2010	A	`conf`	Embedded Virtual Machines for Robust Wireless Control and Actuation. IEEE Real-Time and Embedded Technology and Applications Symposium Miroslav Pajic, Rahul Mangharam
2010	B	`conf`	Real-Time Heart Model for Implantable Cardiac Device Validation and Verification. ECRTS Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam
2010	J	`jnl`	Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks. EURASIP J. Wirel. Commun. Netw. Miroslav Pajic, Rahul Mangharam
2010	—	`conf`	The Wireless Control Network: Synthesis and robustness. CDC Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam
2010	—	`conf`	The wireless control network: Monitoring for malicious behavior. CDC Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, Rahul Mangharam, George J. Pappas
2010	—	`conf`	Toward patient safety in closed-loop medical device systems. ICCPS David Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, Oleg Sokolsky
2009	—	`conf`	Anti-jamming for embedded wireless networks. IPSN Miroslav Pajic, Rahul Mangharam
2009	—	`conf`	Demo abstract: Embedded Virtual Machines for wireless industrial automation. IPSN Rahul Mangharam, Miroslav Pajic, Shivakumar Sastry
2009	—	`conf`	Embedded Virtual Machines for Robust Wireless Control Systems. ICDCS Workshops Rahul Mangharam, Miroslav Pajic