Embedded Virtual Machines for Robust Wireless Control Systems. - Rahul Mangharam; Miroslav Pajic (ICDCS Workshops, 2009)

Demo abstract: Embedded Virtual Machines for wireless industrial automation. - Rahul Mangharam; Miroslav Pajic; Shivakumar Sastry (IPSN, 2009)

Anti-jamming for embedded wireless networks. - Miroslav Pajic; Rahul Mangharam (IPSN, 2009)

The Wireless Control Network: Synthesis and robustness. - Miroslav Pajic; Shreyas Sundaram; Jerome Le Ny; George J. Pappas; Rahul Mangharam (CDC, 2010)

The wireless control network: Monitoring for malicious behavior. - Shreyas Sundaram; Miroslav Pajic; Christoforos N. Hadjicostis; Rahul Mangharam; George J. Pappas (CDC, 2010)

Real-Time Heart Model for Implantable Cardiac Device Validation and Verification. - Zhihao Jiang; Miroslav Pajic; Allison Connolly; Sanjay Dixit; Rahul Mangharam (ECRTS, 2010)

Toward patient safety in closed-loop medical device systems. - David Arney; Miroslav Pajic; Julian M. Goldman; Insup Lee 001; Rahul Mangharam; Oleg Sokolsky (ICCPS, 2010)

A platform for implantable medical device validation. - Miroslav Pajic; Zhihao Jiang; Allison Connolly; Sanjay Dixit; Rahul Mangharam (IPSN, 2010)

Embedded Virtual Machines for Robust Wireless Control and Actuation. - Miroslav Pajic; Rahul Mangharam (IEEE Real-Time and Embedded Technology and Applications Symposium, 2010)

A platform for implantable medical device validation: demo abstract. - Zhihao Jiang; Miroslav Pajic; Allison Connolly; Sanjay Dixit; Rahul Mangharam (Wireless Health, 2010)

Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks. - Miroslav Pajic; Rahul Mangharam (EURASIP J. Wirel. Commun. Netw., 2010)

Network synthesis for dynamical system stabilization. - Miroslav Pajic; Shreyas Sundaram; George J. Pappas; Rahul Mangharam (ACSCC, 2011)

Topological conditions for wireless control networks. - Miroslav Pajic; Shreyas Sundaram; George J. Pappas; Rahul Mangharam (CDC/ECC, 2011)

Model-Based Closed-Loop Testing of Implantable Pacemakers. - Zhihao Jiang; Miroslav Pajic; Rahul Mangharam (ICCPS, 2011)

Demo abstract: Closed-loop testing for implantable cardiac pacemakers. - Zhihao Jiang; Miroslav Pajic; Rahul Mangharam (IPSN, 2011)

Architecture for a fully distributed Wireless Control Network. - Miroslav Pajic; Shreyas Sundaram; Mansimar Aneja; Srinivas Vemuri; Rahul Mangharam; George J. Pappas (IPSN, 2011)

The Wireless Control Network: A New Approach for Control Over Networks. - Miroslav Pajic; Shreyas Sundaram; George J. Pappas; Rahul Mangharam (IEEE Trans. Autom. Control., 2011)

Demo Abstract: Model-Based Testing of Implantable Cardiac Devices. - Shilpa Sarode; Sriram Radhakrishnan; Varun Sampath; Zhihao Jiang; Miroslav Pajic; Rahul Mangharam (ICCPS, 2012)

Closing the loop: a simple distributed method for control over wireless networks. - Miroslav Pajic; Shreyas Sundaram; Jerome Le Ny; George J. Pappas; Rahul Mangharam (IPSN, 2012)

From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. - Miroslav Pajic; Zhihao Jiang; Insup Lee 001; Oleg Sokolsky; Rahul Mangharam (IEEE Real-Time and Embedded Technology and Applications Symposium, 2012)

Modeling and Verification of a Dual Chamber Implantable Pacemaker. - Zhihao Jiang; Miroslav Pajic; Salar Moarref; Rajeev Alur; Rahul Mangharam (TACAS, 2012)

Cyber-Physical Modeling of Implantable Cardiac Medical Devices. - Zhihao Jiang; Miroslav Pajic; Rahul Mangharam (Proc. IEEE, 2012)

Robust architectures for embedded wireless network control and actuation. - Miroslav Pajic; Alexander Chernoguzov; Rahul Mangharam (ACM Trans. Embed. Comput. Syst., 2012)

Networked realization of discrete-time controllers. - Fei Miao; Miroslav Pajic; Rahul Mangharam; George J. Pappas (ACC, 2013)

Power-aware communication for wireless sensor-actuator systems. - Konstantinos Gatsis; Miroslav Pajic; Alejandro Ribeiro; George J. Pappas (CDC, 2013)

Stochastic game approach for replay attack detection. - Fei Miao; Miroslav Pajic; George J. Pappas (CDC, 2013)

Stabilizability over deterministic relay networks. - Miroslav Pajic; Shreyas Sundaram; George J. Pappas (CDC, 2013)

Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control. - James Weimer; Nicola Bezzo; Miroslav Pajic; George J. Pappas; Oleg Sokolsky; Insup Lee 001 (CPSW@CISS, 2013)

Towards synthesis of platform-aware attack-resilient control systems: extended abstract. - Miroslav Pajic; Nicola Bezzo; James Weimer; Rajeev Alur; Rahul Mangharam; Nathan Michael; George J. Pappas; Oleg Sokolsky; Paulo Tabuada; Stephanie Weirich; Insup Lee 001 (HiCoNS, 2013)

Synthesis of platform-aware attack-resilient vehicular systems. - Miroslav Pajic; Nathan Michael; Nicola Bezzo; James Weimer; Oleg Sokolsky; George J. Pappas; Paulo Tabuada; Insup Lee 001 (ICCPS, 2013)

Topological Conditions for In-Network Stabilization of Dynamical Systems. - Miroslav Pajic; Rahul Mangharam; George J. Pappas; Shreyas Sundaram (IEEE J. Sel. Areas Commun., 2013)

Attack-resilient minimum mean-squared error estimation. - James Weimer; Nicola Bezzo; Miroslav Pajic; Oleg Sokolsky; Insup Lee 001 (ACC, 2014)

Opportunistic sensor scheduling in wireless control systems. - Konstantinos Gatsis; Miroslav Pajic; Alejandro Ribeiro; George J. Pappas (CDC, 2014)

Coding sensor outputs for injection attacks detection. - Fei Miao; Quanyan Zhu; Miroslav Pajic; George J. Pappas (CDC, 2014)

Attack-resilient sensor fusion. - Radoslav Ivanov; Miroslav Pajic; Insup Lee 001 (DATE, 2014)

Resilient multidimensional sensor fusion using measurement history. - Radoslav Ivanov; Miroslav Pajic; Insup Lee 001 (HiCoNS, 2014)

Opportunistic scheduling of control tasks over shared wireless channels. - Konstantinos Gatsis; Miroslav Pajic; Alejandro Ribeiro; George J. Pappas (ICCPS, 2014)

Robustness of attack-resilient state estimators. - Miroslav Pajic; James Weimer; Nicola Bezzo; Paulo Tabuada; Oleg Sokolsky; Insup Lee 001; George J. Pappas (ICCPS, 2014)

Attack resilient state estimation for autonomous robotic systems. - Nicola Bezzo; James Weimer; Miroslav Pajic; Oleg Sokolsky; George J. Pappas; Insup Lee 001 (IROS, 2014)

Fuzzy inference mechanism for recognition of contact states in intelligent robotic assembly. - Zivana Jakovljevic; Petar B. Petrovic; Vladimir Dj. Mikovic; Miroslav Pajic (J. Intell. Manuf., 2014)

Closed-loop verification of medical devices with model abstraction and refinement. - Zhihao Jiang; Miroslav Pajic; Rajeev Alur; Rahul Mangharam (Int. J. Softw. Tools Technol. Transf., 2014)

Safety-critical medical device development using the UPP2SF model translation tool. - Miroslav Pajic; Zhihao Jiang; Insup Lee 001; Oleg Sokolsky; Rahul Mangharam (ACM Trans. Embed. Comput. Syst., 2014)

Model-Driven Safety Analysis of Closed-Loop Medical Systems. - Miroslav Pajic; Rahul Mangharam; Oleg Sokolsky; David Arney; Julian M. Goldman; Insup Lee 001 (IEEE Trans. Ind. Informatics, 2014)

Robust estimation using context-aware filtering. - Radoslav Ivanov; Nikolay Atanasov 001; Miroslav Pajic; George J. Pappas; Insup Lee 001 (Allerton, 2015)

Attack-resilient state estimation in the presence of noise. - Miroslav Pajic; Paulo Tabuada; Insup Lee 001; George J. Pappas (CDC, 2015)

Design methodologies for securing cyber-physical systems. - Mohammad Abdullah Al Faruque; Francesco Regazzoni 001; Miroslav Pajic (CODES+ISSS, 2015)

Automatic verification of linear controller software. - Miroslav Pajic; Junkil Park; Insup Lee 001; George J. Pappas; Oleg Sokolsky (EMSOFT, 2015)

Sensor attack detection in the presence of transient faults. - Junkil Park; Radoslav Ivanov; James Weimer; Miroslav Pajic; Insup Lee 001 (ICCPS, 2015)

Opportunistic Control Over Shared Wireless Channels. - Konstantinos Gatsis; Miroslav Pajic; Alejandro Ribeiro; George J. Pappas (IEEE Trans. Autom. Control., 2015)

Recognition of Planar Segments in Point Cloud Based on Wavelet Transform. - Zivana Jakovljevic; Radovan Puzovic; Miroslav Pajic (IEEE Trans. Ind. Informatics, 2015)

A real-time digital-microfluidic platform for epigenetics. - Mohamed Ibrahim 002; Craig Boswell; Krishnendu Chakrabarty; Kristin Scott; Miroslav Pajic (CASES, 2016)

Making the internet-of-things a reality: from smart models, sensing and actuation to energy-efficient architectures. - Paul Bogdan; Miroslav Pajic; Partha Pratim Pande; Vijay Raghunathan (CODES+ISSS, 2016)

Three challenges in cyber-physical systems. - Rahul Mangharam; Houssam Abbas; Madhur Behl; Kuk Jin Jang; Miroslav Pajic; Zhihao Jiang (COMSNETS, 2016)

Towards Plug-n-Play numerical control for Reconfigurable Manufacturing Systems. - Vuk Lesi; Zivana Jakovljevic; Miroslav Pajic (ETFA, 2016)

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 (ICCAD, 2016)

Estimation of Blood Oxygen Content Using Context-Aware Filtering. - Radoslav Ivanov; Nikolay Atanasov 001; James Weimer; Miroslav Pajic; Allan F. Simpao; Mohamed A. Rehman; George J. Pappas; Insup Lee 001 (ICCPS, 2016)

Scalable Verification of Linear Controller Software. - Junkil Park; Miroslav Pajic; Insup Lee 001; Oleg Sokolsky (TACAS, 2016)

Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems. - Radoslav Ivanov; Miroslav Pajic; Insup Lee 001 (ACM Trans. Embed. Comput. Syst., 2016)

Sporadic data integrity for secure state estimation. - Ilija Jovanov; Miroslav Pajic (CDC, 2017)

Platform for security-aware design of human-on-the-loop cyber-physical systems. - Mahmoud Elfar; Haibei Zhu; Adithya Raghunathan; Yi Y. Tay; Jeffrey Wubbenhorst; Mary L. Cummings; Miroslav Pajic (ICCPS, 2017)

Network Scheduling for Secure Cyber-Physical Systems. - Vuk Lesi; Ilija Jovanov; Miroslav Pajic (RTSS, 2017)

Automatic Verification of Finite Precision Implementations of Linear Controllers. - Junkil Park; Miroslav Pajic; Oleg Sokolsky; Insup Lee 001 (TACAS (1), 2017)

A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems. - Fei Miao; Quanyan Zhu; Miroslav Pajic; George J. Pappas (CoRR, 2017)

Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks. - Fei Miao; Quanyan Zhu; Miroslav Pajic; George J. Pappas (IEEE Trans. Control. Netw. Syst., 2017)

Attack-Resilient State Estimation for Noisy Dynamical Systems. - Miroslav Pajic; Insup Lee 001; George J. Pappas (IEEE Trans. Control. Netw. Syst., 2017)

Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults. - Junkil Park; Radoslav Ivanov; James Weimer; Miroslav Pajic; Sang Hyuk Son; Insup Lee 001 (ACM Trans. Cyber Phys. Syst., 2017)

Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips. - Mahmoud Elfar; Zhanwei Zhong; Zipeng Li; Krishnendu Chakrabarty; Miroslav Pajic (ACM Trans. Embed. Comput. Syst., 2017)

Security-Aware Scheduling of Embedded Control Tasks. - Vuk Lesi; Ilija Jovanov; Miroslav Pajic (ACM Trans. Embed. Comput. Syst., 2017)

Secure State Estimation with Cumulative Message Authentication. - Ilija Jovanov; Miroslav Pajic (CDC, 2018)

Human Augmentation of UAV Cyber-Attack Detection. - Haibei Zhu; Mahmoud Elfar; Miroslav Pajic; Ziyao Wang; Mary L. Cummings (HCI (16), 2018)

Platform for model-based design and testing for deep brain stimulation. - Ilija Jovanov; Michael Naumann; Karthik Kumaravelu; Warren M. Grill 001; Miroslav Pajic (ICCPS, 2018)

Learning-based control design for deep brain stimulation. - Ilija Jovanov; Michael Naumann; Karthik Kumaravelu; Vuk Lesi; Aditya Zutshi 001; Warren M. Grill 001; Miroslav Pajic (ICCPS, 2018)

Opportunities and Challenges in Monitoring Cyber-Physical Systems Security. - Borzoo Bonakdarpour; Jyotirmoy V. Deshmukh; Miroslav Pajic (ISoLA (4), 2018)

A hybrid stochastic game for secure control of cyber-physical systems. - Fei Miao; Quanyan Zhu; Miroslav Pajic; George J. Pappas (Autom., 2018)

Efficient and Adaptive Error Recovery in a Micro-Electrode-Dot-Array Digital Microfluidic Biochip. - Zipeng Li; Kelvin Yi-Tse Lai; John McCrone; Po-Hsien Yu; Krishnendu Chakrabarty; Miroslav Pajic; Tsung-Yi Ho; Chen-Yi Lee (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Guest Editorial: Special Issue on Medical Cyber-Physical Systems. - Insup Lee 001; Miroslav Pajic (ACM Trans. Cyber Phys. Syst., 2018)

Security-Aware Synthesis Using Delayed-Action Games. - Mahmoud Elfar; Yu Wang 044; Miroslav Pajic (CAV (1), 2019)

Attack-Resilient Supervisory Control with Intermittently Secure Communication. - Yu Wang 044; Miroslav Pajic (CDC, 2019)

Supervisory Control of Discrete Event Systems in the Presence of Sensor and Actuator Attacks. - Yu Wang 044; Miroslav Pajic (CDC, 2019)

Synchronization of Distributed Controllers in Cyber-Physical Systems. - Vuk Lesi; Zivana Jakovljevic; Miroslav Pajic (ETFA, 2019)

Security-Aware Synthesis of Human-UAV Protocols. - Mahmoud Elfar; Haibei Zhu; Mary L. Cummings; Miroslav Pajic (ICRA, 2019)

Reliable industrial IoT-based distributed automation. - Vuk Lesi; Zivana Jakovljevic; Miroslav Pajic (IoTDI, 2019)

LCV: A Verification Tool for Linear Controller Software. - Junkil Park; Miroslav Pajic; Oleg Sokolsky; Insup Lee 001 (TACAS (1), 2019)

Statistical Model Checking for Probabilistic Hyperproperties. - Yu Wang 044; Siddhartha Nalluri; Borzoo Bonakdarpour; Miroslav Pajic (CoRR, 2019)

A Scalable and Optimal Graph-Search Method for Secure State Estimation. - Xusheng Luo; Miroslav Pajic; Michael M. Zavlanos (CoRR, 2019)

Attack-Resilient Supervisory Control of Discrete-Event Systems. - Yu Wang 044; Alper Kamil Bozkurt; Miroslav Pajic (CoRR, 2019)

Statistical Verification of Hyperproperties for Cyber-Physical System. - Yu Wang 044; Mojtaba Zarei; Borzoo Bonakdarpour; Miroslav Pajic (CoRR, 2019)

Hyperproperties for Robotics: Motion Planning via HyperLTL. - Yu Wang 044; Siddhartha Nalluri; Miroslav Pajic (CoRR, 2019)

Continuous Estimation Using Context-Dependent Discrete Measurements. - Radoslav Ivanov; Nikolay Atanasov 001; Miroslav Pajic; James Weimer; George J. Pappas; Insup Lee 001 (IEEE Trans. Autom. Control., 2019)

Relaxing Integrity Requirements for Attack-Resilient Cyber-Physical Systems. - Ilija Jovanov; Miroslav Pajic (IEEE Trans. Autom. Control., 2019)

Statistical Verification of Hyperproperties for Cyber-Physical Systems. - Yu Wang 044; Mojtaba Zarei; Borzoo Bonakdarpour; Miroslav Pajic (ACM Trans. Embed. Comput. Syst., 2019)

Operator Strategy Model Development in UAV Hacking Detection. - Haibei Zhu; Mary L. Cummings; Mahmoud Elfar; Ziyao Wang; Miroslav Pajic (IEEE Trans. Hum. Mach. Syst., 2019)

Perfect Attackability of Linear Dynamical Systems with Bounded Noise. - Amir Khazraei; Miroslav Pajic (ACC, 2020)

Context-Aware Temporal Logic for Probabilistic Systems. - Mahmoud Elfar; Yu Wang 044; Miroslav Pajic (ATVA, 2020)

Statistical verification of learning-based cyber-physical systems. - Mojtaba Zarei; Yu Wang 044; Miroslav Pajic (HSCC, 2020)

Model-Based Design of Closed Loop Deep Brain Stimulation Controller using Reinforcement Learning. - Qitong Gao; Michael Naumann; Ilija Jovanov; Vuk Lesi; Karthik Kumaravelu; Warren M. Grill 001; Miroslav Pajic (ICCPS, 2020)

Hyperproperties for Robotics: Planning via HyperLTL. - Yu Wang 044; Siddhartha Nalluri; Miroslav Pajic (ICRA, 2020)

Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning. - Alper Kamil Bozkurt; Yu Wang 044; Michael M. Zavlanos; Miroslav Pajic (ICRA, 2020)

Deep Imitative Reinforcement Learning for Temporal Logic Robot Motion Planning with Noisy Semantic Observations. - Qitong Gao; Miroslav Pajic; Michael M. Zavlanos (ICRA, 2020)

Deep Learning for Stable Monotone Dynamical Systems. - Yu Wang 044; Qitong Gao; Miroslav Pajic (CoRR, 2020)

Learning Expected Reward for Switched Linear Control Systems: A Non-Asymptotic View. - Muhammad Abdullah Naeem; Miroslav Pajic (CoRR, 2020)

Extending the Lifetime of MEDA Biochips by Selective Sensing on Microelectrodes. - Tung-Che Liang; Zhanwei Zhong; Miroslav Pajic; Krishnendu Chakrabarty (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Integrating Security in Resource-Constrained Cyber-Physical Systems. - Vuk Lesi; Ilija Jovanov; Miroslav Pajic (ACM Trans. Cyber Phys. Syst., 2020)

Distributing Sequential Control for Manufacturing Automation Systems. - Zivana Jakovljevic; Vuk Lesi; Stefan Mitrovic; Miroslav Pajic (IEEE Trans. Control. Syst. Technol., 2020)

Model-Free Learning of Safe yet Effective Controllers. - Alper Kamil Bozkurt; Yu Wang 044; Miroslav Pajic (CDC, 2021)

AI-Powered IoT System at the Edge. - Yiran Chen 001; Ang Li 005; Huanrui Yang; Tunhou Zhang; Yuewei Yang; Hai Li 001; Suman Banerjee 001; Miroslav Pajic (CogMI, 2021)

Statistical Model Checking for Hyperproperties. - Yu Wang 044; Siddhartha Nalluri; Borzoo Bonakdarpour; Miroslav Pajic (CSF, 2021)

Probabilistic conformance for cyber-physical systems. - Yu Wang 044; Mojtaba Zarei; Borzoo Bonakdarpour; Miroslav Pajic (ICCPS, 2021)

Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning. - Alper Kamil Bozkurt; Yu Wang 044; Miroslav Pajic (ICRA, 2021)

Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives. - Alper Kamil Bozkurt; Yu Wang 044; Michael M. Zavlanos; Miroslav Pajic (ICRA, 2021)

An optimal graph-search method for secure state estimation. - Xusheng Luo; Miroslav Pajic; Michael M. Zavlanos (Autom., 2021)

Learning Optimal Strategies for Temporal Tasks in Stochastic Games. - Alper Kamil Bozkurt; Yu Wang 044; Miroslav Pajic (CoRR, 2021)

Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes. - Yu Wang 044; Alper Kamil Bozkurt; Miroslav Pajic (CoRR, 2021)

Security Analysis of Camera-LiDAR Semantic-Level Fusion Against Black-Box Attacks on Autonomous Vehicles. - R. Spencer Hallyburton; Yupei Liu; Miroslav Pajic (CoRR, 2021)

Imputation-Free Learning from Incomplete Observations. - Qitong Gao; Dong Wang 037; Joshua D. Amason; Siyang Yuan; Chenyang Tao; Ricardo Henao; Majda Hadziahmetovic; Lawrence Carin; Miroslav Pajic (CoRR, 2021)

Attacks on Distributed Sequential Control in Manufacturing Automation. - Zivana Jakovljevic; Vuk Lesi; Miroslav Pajic (IEEE Trans. Ind. Informatics, 2021)

Learning Monotone Dynamics by Neural Networks. - Yu Wang 044; Qitong Gao; Miroslav Pajic (ACC, 2022)

Optimal Myopic Attacks on Nonlinear Estimation. - R. Spencer Hallyburton; Amir Khazraei; Miroslav Pajic (CDC, 2022)

Resiliency of Nonlinear Control Systems to Stealthy Sensor Attacks. - Amir Khazraei; Miroslav Pajic (CDC, 2022)

Adaptive Droplet Routing for MEDA Biochips via Deep Reinforcement Learning. - Mahmoud Elfar; Tung-Che Liang; Krishnendu Chakrabarty; Miroslav Pajic (DATE, 2022)

A comparison of an implanted accelerometer with a wearable accelerometer for closed-loop DBS. - Erick Rojas; Stephen L. Schmidt; Afsana Chowdhury; Miroslav Pajic; Dennis A. Turner; Deborah S. Won (EMBC, 2022)

Offline Policy Evaluation for Learning-based Deep Brain Stimulation Controllers. - Qitong Gao; Stephen L. Schmidt; Karthik Kamaravelu; Dennis A. Turner; Warren M. Grill 001; Miroslav Pajic (ICCPS, 2022)

Learning-Based Vulnerability Analysis of Cyber-Physical Systems. - Amir Khazraei; Spencer Hallyburton; Qitong Gao; Yu Wang 044; Miroslav Pajic (ICCPS, 2022)

Gradient Importance Learning for Incomplete Observations. - Qitong Gao; Dong Wang 037; Joshua David Amason; Siyang Yuan; Chenyang Tao; Ricardo Henao; Majda Hadziahmetovic; Lawrence Carin; Miroslav Pajic (ICLR, 2022)

Formal Verification of Stochastic Systems with ReLU Neural Network Controllers. - Shiqi Sun; Yan Zhang 043; Xusheng Luo; Panagiotis Vlantis; Miroslav Pajic; Michael M. Zavlanos (ICRA, 2022)

A Reinforcement Learning-Informed Pattern Mining Framework for Multivariate Time Series Classification. - Ge Gao; Qitong Gao; Xi Yang 019; Miroslav Pajic; Min Chi (IJCAI, 2022)

Resiliency of Perception-Based Controllers Against Attacks. - Amir Khazraei; Henry D. Pfister; Miroslav Pajic (L4DC, 2022)

Insights on Using Deep Learning to Spoof Inertial Measurement Units for Stealthy Attacks on UAVs. - Kyo Hyun Kim; Denizkhan Kara; Vineetha Paruchuri; Sibin Mohan; Greg Kimberly; Denis Osipychev; Jae H. Kim; Josh D. Eckhardt; Miroslav Pajic (MILCOM, 2022)

Through an AR Lens: Augmented Reality Magnification through Feature Detection and Matching. - Sangjun Eom; Majda Hadziahmetovic; Miroslav Pajic; Maria Gorlatova (SenSys, 2022)

Security Analysis of Camera-LiDAR Fusion Against Black-Box Attacks on Autonomous Vehicles. - R. Spencer Hallyburton; Yupei Liu; Yulong Cao; Z. Morley Mao; Miroslav Pajic (USENIX Security Symposium, 2022)

Attack-resilient state estimation with intermittent data authentication. - Amir Khazraei; Miroslav Pajic (Autom., 2022)

Security Analysis for Distributed IoT-Based Industrial Automation. - Vuk Lesi; Zivana Jakovljevic; Miroslav Pajic (IEEE Trans Autom. Sci. Eng., 2022)

Formal Synthesis of Adaptive Droplet Routing for MEDA Biochips. - Mahmoud Elfar; Tung-Che Liang; Krishnendu Chakrabarty; Miroslav Pajic (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

New dataset obtained from 2D positioning system with distributed control. - Dusan Nedeljkovic; Vuk Lesi; Zivana Jakovljevic; Miroslav Pajic (Zenodo, 2022)

Lightweight Verification of Hyperproperties. - Oyendrila Dobe; Stefan Schupp; Ezio Bartocci; Borzoo Bonakdarpour; Axel Legay; Miroslav Pajic; Yu Wang 044 (ATVA, 2023)

Offline Learning of Closed-Loop Deep Brain Stimulation Controllers for Parkinson Disease Treatment. - Qitong Gao; Stephen L. Schmidt; Afsana Chowdhury; Guangyu Feng; Jennifer J. Peters; Katherine Genty; Warren M. Grill 001; Dennis A. Turner; Miroslav Pajic (ICCPS, 2023)

A Modular Platform For Collaborative, Distributed Sensor Fusion. - R. Spencer Hallyburton; Nate Zelter; David Hunt; Kristen Angell; Miroslav Pajic (ICCPS, 2023)

AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle Development. - Robert Spencer Hallyburton; Shucheng Zhang; Miroslav Pajic (ICCPS, 2023)

Variational Latent Branching Model for Off-Policy Evaluation. - Qitong Gao; Ge Gao; Min Chi; Miroslav Pajic (ICLR, 2023)

Stealthy Perception-based Attacks on Unmanned Aerial Vehicles. - Amir Khazraei; Haocheng Meng; Miroslav Pajic (ICRA, 2023)

Demo Abstract: Edge-based Augmented Reality Guidance System for Retinal Laser Therapy via Feature Matching. - Sangjun Eom; Ritvik Janamsetty; Majda Hadziahmetovic; Miroslav Pajic; Maria Gorlatova (IPSN, 2023)

Cyber-Attacks on Wheeled Mobile Robotic Systems with Visual Servoing Control. - Aleksandar Jokic; Amir Khazraei; Milica Petrovic; Zivana Jakovljevic; Miroslav Pajic (IROS, 2023)

Transportation-Inequalities, Lyapunov Stability and Sampling for Dynamical Systems on Continuous State Space. - Muhammad Abdullah Naeem; Miroslav Pajic (L4DC, 2023)

Rigorous Evaluation of Computer Processors with Statistical Model Checking. - Filip Mazurek; Arya Tschand; Yu Wang 044; Miroslav Pajic; Daniel J. Sorin (MICRO, 2023)

Off-Policy Evaluation for Human Feedback. - Qitong Gao; Ge Gao; Juncheng Dong; Vahid Tarokh; Min Chi; Miroslav Pajic (NeurIPS, 2023)

Securing Autonomous Vehicles Under Partial-Information Cyber Attacks on LiDAR Data. - R. Spencer Hallyburton; Miroslav Pajic (CoRR, 2023)

High Dimensional Geometry and Limitations in System Identification. - Muhammad Abdullah Naeem; Miroslav Pajic (CoRR, 2023)

Robust Reinforcement Learning through Efficient Adversarial Herding. - Juncheng Dong; Hao-Lun Hsu; Qitong Gao; Vahid Tarokh; Miroslav Pajic (CoRR, 2023)

Individual Treatment Effects in Extreme Regimes. - Ahmed Aloui; Ali Hasan; Yuting Ng; Miroslav Pajic; Vahid Tarokh (CoRR, 2023)

Vulnerability Analysis of Nonlinear Control Systems to Stealthy False Data Injection Attacks. - Amir Khazraei; Miroslav Pajic (CoRR, 2023)

From Spectral Theorem to Statistical Independence with Application to System Identification. - Muhammad Abdullah Naeem; Amir Khazraei; Miroslav Pajic (CoRR, 2023)

Datasets, Models, and Algorithms for Multi-Sensor, Multi-agent Autonomy Using AVstack. - R. Spencer Hallyburton; Miroslav Pajic (CoRR, 2023)

Spectral Statistics of the Sample Covariance Matrix for High Dimensional Linear Gaussians. - Muhammad Abdullah Naeem; Miroslav Pajic (CoRR, 2023)

IoT-Enabled Motion Control: Architectural Design Challenges and Solutions. - Vuk Lesi; Zivana Jakovljevic; Miroslav Pajic (IEEE Trans. Ind. Informatics, 2023)

Deep Reinforcement Learning-Based Approach for Efficient and Reliable Droplet Routing on MEDA Biochips. - Mahmoud Elfar; Yi-Chen Chang; Harrison Hao-Yu Ku; Tung-Che Liang; Krishnendu Chakrabarty; Miroslav Pajic (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Bayesian Methods for Trust in Collaborative Multi-Agent Autonomy. - R. Spencer Hallyburton; Miroslav Pajic (CDC, 2024)

Black-box Stealthy GPS Attacks on Unmanned Aerial Vehicles. - Amir Khazraei; Haocheng Meng; Miroslav Pajic (CDC, 2024)

ϵ-Neural Thompson Sampling of Deep Brain Stimulation for Parkinson Disease Treatment. - Hao-Lun Hsu; Qitong Gao; Miroslav Pajic (ICCPS, 2024)

On Trajectory Augmentations for Off-Policy Evaluation. - Ge Gao; Qitong Gao; Xi Yang 019; Song Ju; Miroslav Pajic; Min Chi (ICLR, 2024)

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 (ICRA, 2024)

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 037; Spencer Hallyburton; Tingjun Chen; Miroslav Pajic (ICRA, 2024)

Steering Decision Transformers via Temporal Difference Learning. - Hao-Lun Hsu; Alper Kamil Bozkurt; Juncheng Dong; Qitong Gao; Vahid Tarokh; Miroslav Pajic (IROS, 2024)

Robust exploration with adversary via Langevin Monte Carlo. - Hao-Lun Hsu; Miroslav Pajic (L4DC, 2024)

On the uniqueness of solution for the Bellman equation of LTL objectives. - Zetong Xuan; Alper Kamil Bozkurt; Miroslav Pajic; Yu Wang 044 (L4DC, 2024)

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 037; Spencer Hallyburton; Tingjun Chen; Miroslav Pajic (MobiCom, 2024)

MadRadar: A Black-Box Physical Layer Attack Framework on mmWave Automotive FMCW Radars. - David Hunt; Kristen Angell; Zhenzhou Qi; Tingjun Chen; Miroslav Pajic (NDSS, 2024)

Off-Policy Selection for Initiating Human-Centric Experimental Design. - Ge Gao; Xi Yang 019; Qitong Gao; Song Ju; Miroslav Pajic; Min Chi (NeurIPS, 2024)

Randomized Exploration in Cooperative Multi-Agent Reinforcement Learning. - Hao-Lun Hsu; Weixin Wang; Miroslav Pajic; Pan Xu 002 (NeurIPS, 2024)

Athena - The NSF AI Institute for Edge Computing. - Yiran Chen 001; Suman Banerjee 001; Shaundra Daily; Jeffery Krolik; Hai (Helen) Li; Daniel B. Limbrick; Miroslav Pajic; Rajashi Runton; Lin Zhong 001 (AI Mag., 2024)

A Multi-Agent Security Testbed for the Analysis of Attacks and Defenses in Collaborative Sensor Fusion. - R. Spencer Hallyburton; David Hunt; Shaocheng Luo; Miroslav Pajic (CoRR, 2024)

Neuro-Symbolic Computing: Advancements and Challenges in Hardware-Software Co-Design. - Xiaoxuan Yang 001; Zhangyang Wang; X. Sharon Hu; Chris H. Kim; Shimeng Yu; Miroslav Pajic; Rajit Manohar; Yiran Chen 001; Hai Helen Li (IEEE Trans. Circuits Syst. II Express Briefs, 2024)

Learning Optimal Strategies for Temporal Tasks in Stochastic Games. - Alper Kamil Bozkurt; Yu Wang 044; Michael M. Zavlanos; Miroslav Pajic (IEEE Trans. Autom. Control., 2024)

Attacks on Perception-Based Control Systems: Modeling and Fundamental Limits. - Amir Khazraei; Henry D. Pfister; Miroslav Pajic (IEEE Trans. Autom. Control., 2024)

Determining Novice and Expert Status in Human-Automation Interaction Through Hidden Markov Models. - Anne French; Mary L. Cummings; Haibei Zhu; Miroslav Pajic (Appl. Artif. Intell., 2024)

Variational Adversarial Training Towards Policies with Improved Robustness. - Juncheng Dong; Hao-Lun Hsu; Qitong Gao; Vahid Tarokh; Miroslav Pajic (AISTATS, 2025)

Trust-Based Assured Sensor Fusion in Distributed Aerial Autonomy. - R. Spencer Hallyburton; Miroslav Pajic (ICCPS, 2025)

Safe Cooperative Multi-Agent Reinforcement Learning with Function Approximation. - Hao-Lun Hsu; Miroslav Pajic (L4DC, 2025)

Neuro-Symbolic Deadlock Resolution in Multi-Robot Systems. - Ruiyang Wang; Bowen He; Miroslav Pajic (L4DC, 2025)

Assured Autonomy with Neuro-Symbolic Perception. - R. Spencer Hallyburton; Miroslav Pajic (NeuS, 2025)

Efficient Neuro-Symbolic Policy using In-Memory Computing. - Tergel Molom-Ochir; Naman Saxena; Jiwoo Kim; Yiran Chen 001; Zhangyang (Atlas) Wang; Miroslav Pajic; Hai (Helen) Li (NeuS, 2025)

NeuroStrata: Harnessing Neuro-Symbolic Paradigms for Improved Testability and Verifiability of Autonomous CPS. - Xi Zheng 001; Ziyang Li; Ivan Ruchkin; Ruzica Piskac; Miroslav Pajic (SIGSOFT FSE Companion, 2025)

NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS. - Xi Zheng 001; Ziyang Li; Ivan Ruchkin; Ruzica Piskac; Miroslav Pajic (CoRR, 2025)

Security-Aware Sensor Fusion with MATE: the Multi-Agent Trust Estimator. - R. Spencer Hallyburton; Miroslav Pajic (CoRR, 2025)

Probabilistic Segmentation for Robust Field of View Estimation. - R. Spencer Hallyburton; David Hunt; Yiwei He; Judy He; Miroslav Pajic (CoRR, 2025)

MARS: Defending Unmanned Aerial Vehicles From Attacks on Inertial Sensors with Model-based Anomaly Detection and Recovery. - Haocheng Meng; Shaocheng Luo; Zhenyuan Liang; Qing Huang; Amir Khazraei; Miroslav Pajic (CoRR, 2025)

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 (CoRR, 2025)

Trusted Data Fusion, Multi-Agent Autonomy, Autonomous Vehicles. - R. Spencer Hallyburton; Miroslav Pajic (CoRR, 2025)