| 2026 | AAAI | Bot Blitz: A Scalable Hands-On Workshop for Teaching AI and Robotics Concepts Through Narrative-Driven Problem Solving. | Sandra Roach, Karis Boyd-Sinkler, Visrut Sudhakar, Shaundra Daily, Miroslav Pajic, Whitney McCoy |
| 2025 | AISTATS | Variational Adversarial Training Towards Policies with Improved Robustness. | Juncheng Dong, Hao-Lun Hsu, Qitong Gao, Vahid Tarokh, Miroslav Pajic |
| 2025 | CCS | Security-Aware Sensor Fusion with MATE: the Multi-Agent Trust Estimator. | R. Spencer Hallyburton, Miroslav Pajic |
| 2025 | IROS | RaGNNarok: A Light-Weight Graph Neural Network for Enhancing Radar Point Clouds on Unmanned Ground Vehicles. | David Hunt, Shaocheng Luo, Spencer Hallyburton, Shafii Nillongo, Yi Li, Tingjun Chen, Miroslav Pajic |
| 2024 | ICLR | On Trajectory Augmentations for Off-Policy Evaluation. | Ge Gao, Qitong Gao, Xi Yang, Song Ju, Miroslav Pajic, Min Chi |
| 2024 | ICRA | REFORMA: Robust REinFORceMent Learning via Adaptive Adversary for Drones Flying under Disturbances. | Hao-Lun Hsu, Haocheng Meng, Shaocheng Luo, Juncheng Dong, Vahid Tarokh, Miroslav Pajic |
| 2024 | ICRA | RadCloud: Real-Time High-Resolution Point Cloud Generation Using Low-Cost Radars for Aerial and Ground Vehicles. | David Hunt, Shaocheng Luo, Amir Khazraei, Xiao Zhang, Spencer Hallyburton, Tingjun Chen, Miroslav Pajic |
| 2024 | IROS | Steering Decision Transformers via Temporal Difference Learning. | Hao-Lun Hsu, Alper Kamil Bozkurt, Juncheng Dong, Qitong Gao, Vahid Tarokh, Miroslav Pajic |
| 2024 | MOBICOM | RadCloud: Real-Time High-Resolution Point Cloud Generation Using Low-Cost mmWave Radars for Aerial and Ground Vehicles. | David Hunt, Shaocheng Luo, Amir Khazraei, Xiao Zhang, Spencer Hallyburton, Tingjun Chen, Miroslav Pajic |
| 2024 | NDSS | MadRadar: A Black-Box Physical Layer Attack Framework on mmWave Automotive FMCW Radars. | David Hunt, Kristen Angell, Zhenzhou Qi, Tingjun Chen, Miroslav Pajic |
| 2023 | ATVA | Lightweight Verification of Hyperproperties. | Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang |
| 2023 | ICLR | Variational Latent Branching Model for Off-Policy Evaluation. | Qitong Gao, Ge Gao, Min Chi, Miroslav Pajic |
| 2023 | ICRA | Stealthy Perception-based Attacks on Unmanned Aerial Vehicles. | Amir Khazraei, Haocheng Meng, Miroslav Pajic |
| 2023 | IROS | Cyber-Attacks on Wheeled Mobile Robotic Systems with Visual Servoing Control. | Aleksandar Jokic, Amir Khazraei, Milica Petrovic, Zivana Jakovljevic, Miroslav Pajic |
| 2023 | MICRO | Rigorous Evaluation of Computer Processors with Statistical Model Checking. | Filip Mazurek, Arya Tschand, Yu Wang, Miroslav Pajic, Daniel J. Sorin |
| 2022 | DATE | Adaptive Droplet Routing for MEDA Biochips via Deep Reinforcement Learning. | Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic |
| 2022 | ICLR | Gradient Importance Learning for Incomplete Observations. | Qitong Gao, Dong Wang, Joshua David Amason, Siyang Yuan, Chenyang Tao, Ricardo Henao, Majda Hadziahmetovic, Lawrence Carin, Miroslav Pajic |
| 2022 | IJCAI | A Reinforcement Learning-Informed Pattern Mining Framework for Multivariate Time Series Classification. | Ge Gao, Qitong Gao, Xi Yang, Miroslav Pajic, Min Chi |
| 2022 | ICRA | Formal Verification of Stochastic Systems with ReLU Neural Network Controllers. | Shiqi Sun, Yan Zhang, Xusheng Luo, Panagiotis Vlantis, Miroslav Pajic, Michael M. Zavlanos |
| 2022 | SENSYS | Through an AR Lens: Augmented Reality Magnification through Feature Detection and Matching. | Sangjun Eom, Majda Hadziahmetovic, Miroslav Pajic, Maria Gorlatova |
| 2021 | DATE | Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips. | Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, Miroslav Pajic |
| 2021 | ICRA | Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning. | Alper Kamil Bozkurt, Yu Wang, Miroslav Pajic |
| 2021 | ICRA | Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives. | Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic |
| 2020 | ATVA | Context-Aware Temporal Logic for Probabilistic Systems. | Mahmoud Elfar, Yu Wang, Miroslav Pajic |
| 2020 | ICRA | Hyperproperties for Robotics: Planning via HyperLTL. | Yu Wang, Siddhartha Nalluri, Miroslav Pajic |
| 2020 | ICRA | Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning. | Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos, Miroslav Pajic |
| 2020 | ICRA | Deep Imitative Reinforcement Learning for Temporal Logic Robot Motion Planning with Noisy Semantic Observations. | Qitong Gao, Miroslav Pajic, Michael M. Zavlanos |
| 2019 | CAV | Security-Aware Synthesis Using Delayed-Action Games. | Mahmoud Elfar, Yu Wang, Miroslav Pajic |
| 2019 | ETFA | Synchronization of Distributed Controllers in Cyber-Physical Systems. | Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic |
| 2019 | ICRA | Security-Aware Synthesis of Human-UAV Protocols. | Mahmoud Elfar, Haibei Zhu, Mary L. Cummings, Miroslav Pajic |
| 2019 | TACAS | LCV: A Verification Tool for Linear Controller Software. | Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee |
| 2018 | HCI | Human Augmentation of UAV Cyber-Attack Detection. | Haibei Zhu, Mahmoud Elfar, Miroslav Pajic, Ziyao Wang, Mary L. Cummings |
| 2018 | ISoLA | Opportunities and Challenges in Monitoring Cyber-Physical Systems Security. | Borzoo Bonakdarpour, Jyotirmoy V. Deshmukh, Miroslav Pajic |
| 2017 | RTSS | Network Scheduling for Secure Cyber-Physical Systems. | Vuk Lesi, Ilija Jovanov, Miroslav Pajic |
| 2017 | TACAS | Automatic Verification of Finite Precision Implementations of Linear Controllers. | Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee |
| 2016 | CASES | A real-time digital-microfluidic platform for epigenetics. | Mohamed Ibrahim, Craig Boswell, Krishnendu Chakrabarty, Kristin Scott, Miroslav Pajic |
| 2016 | COMSNETS | Three challenges in cyber-physical systems. | Rahul Mangharam, Houssam Abbas, Madhur Behl, Kuk Jin Jang, Miroslav Pajic, Zhihao Jiang |
| 2016 | ETFA | Towards Plug-n-Play numerical control for Reconfigurable Manufacturing Systems. | Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic |
| 2016 | ICCAD | Error recovery in a micro-electrode-dot-array digital microfluidic biochip? | Zipeng Li, Kelvin Yi-Tse Lai, Po-Hsien Yu, Krishnendu Chakrabarty, Miroslav Pajic, Tsung-Yi Ho, Chen-Yi Lee |
| 2016 | TACAS | Scalable Verification of Linear Controller Software. | Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky |
| 2015 | EMSOFT | Automatic verification of linear controller software. | Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, Oleg Sokolsky |
| 2014 | DATE | Attack-resilient sensor fusion. | Radoslav Ivanov, Miroslav Pajic, Insup Lee |
| 2014 | IROS | Attack resilient state estimation for autonomous robotic systems. | Nicola Bezzo, James Weimer, Miroslav Pajic, Oleg Sokolsky, George J. Pappas, Insup Lee |
| 2013 | CISS | Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. | James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, Insup Lee |
| 2012 | RTAS | From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. | Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam |
| 2012 | TACAS | Modeling and Verification of a Dual Chamber Implantable Pacemaker. | Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam |
| 2011 | ACSSC | Network synthesis for dynamical system stabilization. | Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam |
| 2010 | ECRTS | Real-Time Heart Model for Implantable Cardiac Device Validation and Verification. | Zhihao Jiang, Miroslav Pajic, Allison Connolly, Sanjay Dixit, Rahul Mangharam |
| 2010 | RTAS | Embedded Virtual Machines for Robust Wireless Control and Actuation. | Miroslav Pajic, Rahul Mangharam |