Miroslav Pajić

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Black-box Stealthy GPS Attacks on Unmanned Aerial Vehicles	2024	Amir Khazraei Haocheng Meng Miroslav Pajić
+ PDF Chat	Attacks on Perception-Based Control Systems: Modeling and Fundamental Limits	2024	Amir Khazraei Henry D. Pfister Miroslav Pajić
+ PDF Chat	RadCloud: Real-Time High-Resolution Point Cloud Generation Using Low-Cost Radars for Aerial and Ground Vehicles	2024	David A. Hunt Shaocheng Luo Amir Khazraei Xiao Zhang Spencer Hallyburton Tingjun Chen Miroslav Pajić
+ PDF Chat	Learning Optimal Strategies for Temporal Tasks in Stochastic Games	2024	Alper Kamil Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajić
+ PDF Chat	Randomized Exploration in Cooperative Multi-Agent Reinforcement Learning	2024	Hao-Lun Hsu W. Wang Miroslav Pajić Pan Xu
+ PDF Chat	On the Uniqueness of Solution for the Bellman Equation of LTL Objectives	2024	Zetong Xuan Alper Kamil Bozkurt Miroslav Pajić Yu Wang
+ PDF Chat	Bayesian Methods for Trust in Collaborative Multi-Agent Autonomy	2024	R. Spencer Hallyburton Miroslav Pajić
+ PDF Chat	{\epsilon}-Neural Thompson Sampling of Deep Brain Stimulation for Parkinson Disease Treatment	2024	Hao-Lun Hsu Qitong Gao Miroslav Pajić
+	ε-Neural Thompson Sampling of Deep Brain Stimulation for Parkinson Disease Treatment.	2024	Hao-Lun Hsu Qitong Gao Miroslav Pajić
+ PDF Chat	RadCloud: Real-Time High-Resolution Point Cloud Generation Using Low-Cost Radars for Aerial and Ground Vehicles	2024	David A. Hunt Shaocheng Luo Amir Khazraei Xiao Zhang Spencer Hallyburton Tingjun Chen Miroslav Pajić
+	A Multi-Agent Security Testbed for the Analysis of Attacks and Defenses in Collaborative Sensor Fusion	2024	R. Spencer Hallyburton David Hunt Shaocheng Luo Miroslav Pajić
+	MadRadar: A Black-Box Physical Layer Attack Framework on mmWave Automotive FMCW Radars	2024	David A. Hunt Kristen Angell Zhenzhou Qi Tingjun Chen Miroslav Pajić
+ PDF Chat	Stealthy Perception-based Attacks on Unmanned Aerial Vehicles	2023	Amir Khazraei Haocheng Meng Miroslav Pajić
+ PDF Chat	Offline Learning of Closed-Loop Deep Brain Stimulation Controllers for Parkinson Disease Treatment	2023	Qitong Gao Stephen L. Schmidt Afsana Chowdhury Guangyu Feng Jennifer J. Peters Katherine Genty Warren M. Grill Dennis A. Turner Miroslav Pajić
+ PDF Chat	AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle Development	2023	R. Spencer Hallyburton Shucheng Zhang Miroslav Pajić
+ PDF Chat	A Modular Platform For Collaborative, Distributed Sensor Fusion	2023	R. Spencer Hallyburton Nate Zelter David A. Hunt Kristen Angell Miroslav Pajić
+	Stealthy Perception-based Attacks on Unmanned Aerial Vehicles	2023	Amir Khazraei Haocheng Meng Miroslav Pajić
+	Partial-Information, Longitudinal Cyber Attacks on LiDAR in Autonomous Vehicles	2023	R. Spencer Hallyburton Qingzhao Zhang Z. Morley Mao Miroslav Pajić
+	A Modular Platform For Collaborative, Distributed Sensor Fusion	2023	R. Spencer Hallyburton Nate Zelter David Hunt Kristen Angell Miroslav Pajić
+	High Dimensional Geometry and Limitations in System Identification	2023	Muhammad Abdullah Naeem Miroslav Pajić
+	Robust Reinforcement Learning through Efficient Adversarial Herding	2023	Juncheng Dong Hao-Lun Hsu Qitong Gao Vahid Tarokh Miroslav Pajić
+	Individual Treatment Effects in Extreme Regimes	2023	Ahmed Aloui Ali Hasan Yuting Ng Miroslav Pajić Vahid Tarokh
+ PDF Chat	Attack-Resilient Supervisory Control of Discrete-Event Systems: A Finite-State Transducer Approach	2023	Yu Wang Alper Kamil Bozkurt N. J. H. Smith Miroslav Pajić
+	Vulnerability Analysis of Nonlinear Control Systems to Stealthy False Data Injection Attacks	2023	Amir Khazraei Miroslav Pajić
+	Off-Policy Evaluation for Human Feedback	2023	Qitong Gao Juncheng Dong Vahid Tarokh Min Chi Miroslav Pajić
+	From Spectral Theorem to Statistical Independence with Application to System Identification	2023	Muhammad Abdullah Naeem Amir Khazraei Miroslav Pajić
+	MadRadar: A Black-Box Physical Layer Attack Framework on mmWave Automotive FMCW Radars	2023	David A. Hunt Kristen Angell Zhenzhou Qi Tingjun Chen Miroslav Pajić
+	Datasets, Models, and Algorithms for Multi-Sensor, Multi-agent Autonomy Using AVstack	2023	R. Spencer Hallyburton Miroslav Pajić
+	Spectral Statistics of the Sample Covariance Matrix for High Dimensional Linear Gaussians	2023	Muhammad Abdullah Naeem Miroslav Pajić
+	Variational Latent Branching Model for Off-Policy Evaluation	2023	Qitong Gao Ge Gao Min Chi Miroslav Pajić
+ PDF Chat	Resiliency of Nonlinear Control Systems to Stealthy Sensor Attacks	2022	Amir Khazraei Miroslav Pajić
+ PDF Chat	Optimal Myopic Attacks on Nonlinear Estimation	2022	R. Spencer Hallyburton Amir Khazraei Miroslav Pajić
+ PDF Chat	Learning Monotone Dynamics by Neural Networks	2022	Yu Wang Qitong Gao Miroslav Pajić
+ PDF Chat	Formal Verification of Stochastic Systems with ReLU Neural Network Controllers	2022	Shiqi Sun Yan Zhang Xusheng Luo Panagiotis Vlantis Miroslav Pajić Michael M. Zavlanos
+ PDF Chat	Learning-Based Vulnerability Analysis of Cyber-Physical Systems	2022	Amir Khazraei Spencer Hallyburton Qitong Gao Yu Wang Miroslav Pajić
+	Optimal Myopic Attacks on Nonlinear Estimation	2022	R. Spencer Hallyburton Amir Khazraei Miroslav Pajić
+	Resiliency of Nonlinear Control Systems to Stealthy Sensor Attacks	2022	Amir Khazraei Miroslav Pajić
+	Transportation-Inequalities, Lyapunov Stability and Sampling for Dynamical Systems on Continuous State Space	2022	Muhammad Abdullah Naeem Miroslav Pajić
+	Attacks on Perception-Based Control Systems: Modeling and Fundamental Limits	2022	Amir Khazraei Henry D. Pfister Miroslav Pajić
+	AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle Development	2022	R. Spencer Hallyburton Shucheng Zhang Miroslav Pajić
+ PDF Chat	Model-Free Learning of Safe yet Effective Controllers	2021	Alper Kamil Bozkurt Yu Wang Miroslav Pajić
+ PDF Chat	Attack-resilient state estimation with intermittent data authentication	2021	Amir Khazraei Miroslav Pajić
+ PDF Chat	Security Analysis for Distributed IoT-Based Industrial Automation	2021	Vuk Lesi Živana Jakovljević Miroslav Pajić
+	Imputation-Free Learning from Incomplete Observations.	2021	Qitong Gao Dong Wang Joshua Amason Siyang Yuan Chenyang Tao Ricardo Henao Majda Hadziahmetovic Lawrence Carin Miroslav Pajić
+	Security Analysis of Camera-LiDAR Semantic-Level Fusion Against Black-Box Attacks on Autonomous Vehicles.	2021	R. Spencer Hallyburton Yupei Liu Miroslav Pajić
+	Security Analysis of Camera-LiDAR Fusion Against Black-Box Attacks on Autonomous Vehicles.	2021	R. Spencer Hallyburton Yupei Liu Yulong Cao Z. Morley Mao Miroslav Pajić
+ PDF Chat	Statistical Model Checking for Hyperproperties	2021	Yu Wang Siddhartha Nalluri Borzoo Bonakdarpour Miroslav Pajić
+ PDF Chat	Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives	2021	Alper Kamil Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajić
+ PDF Chat	Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning	2021	Alper Kamil Bozkurt Yu Wang Miroslav Pajić
+ PDF Chat	Probabilistic conformance for cyber-physical systems	2021	Yu Wang Mojtaba Zarei Borzoo Bonakdarpoor Miroslav Pajić
+	Model-Free Learning of Safe yet Effective Controllers	2021	Alper Kamil Bozkurt Yu Wang Miroslav Pajić
+	Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes	2021	Yu Wang Alper Kamil Bozkurt Miroslav Pajić
+	Gradient Importance Learning for Incomplete Observations	2021	Qitong Gao Dong Wang Joshua Amason Siyang Yuan Chenyang Tao Ricardo Henao Majda Hadziahmetovic Lawrence Carin Miroslav Pajić
+	Security Analysis of Camera-LiDAR Fusion Against Black-Box Attacks on Autonomous Vehicles	2021	R. Spencer Hallyburton Yupei Liu Yulong Cao Z. Morley Mao Miroslav Pajić
+	Learning-Based Vulnerability Analysis of Cyber-Physical Systems	2021	Amir Khazraei Spencer Hallyburton Qitong Gao Yu Wang Miroslav Pajić
+	Learning Optimal Strategies for Temporal Tasks in Stochastic Games	2021	Alper Kamil Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajić
+	Formal Verification of Stochastic Systems with ReLU Neural Network Controllers	2021	Shiqi Sun Yan Zhang Xusheng Luo Panagiotis Vlantis Miroslav Pajić Michael M. Zavlanos
+	Model-Free Learning of Safe yet Effective Controllers	2021	Alper Kamil Bozkurt Yu Wang Miroslav Pajić
+ PDF Chat	An optimal graph-search method for secure state estimation	2020	Xusheng Luo Miroslav Pajić Michael M. Zavlanos
+	Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning	2020	Alper Kamil Bozkurt Yu Wang Miroslav Pajić
+	Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives	2020	Alper Kamil Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajić
+	Context-Aware Temporal Logic for Probabilistic Systems	2020	Mahmoud Elfar Yu Wang Miroslav Pajić
+	Learning Expected Reward for Switched Linear Control Systems: A Non-Asymptotic View.	2020	Muhammad Abdullah Naeem Miroslav Pajić
+ PDF Chat	Deep Learning for Stable Monotone Dynamical Systems	2020	Yu Wang Qitong Gao Miroslav Pajić
+	Security Analysis for Distributed IoT-Based Industrial Automation	2020	Vuk Lesi Živana Jakovljević Miroslav Pajić
+ PDF Chat	Integrating Security in Resource-Constrained Cyber-Physical Systems	2020	Vuk Lesi Ilija Jovanov Miroslav Pajić
+	Attack-Resilient State Estimation with Intermittent Data Authentication	2020	Amir Khazraei Miroslav Pajić
+ PDF Chat	Hyperproperties for Robotics: Planning via HyperLTL	2020	Yu Wang Siddhartha Nalluri Miroslav Pajić
+ PDF Chat	Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning	2020	Alper Kamil Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajić
+	Probabilistic Conformance for Cyber-Physical Systems	2020	Yu Wang Mojtaba Zarei Borzoo Bonakdarpoor Miroslav Pajić
+ PDF Chat	Context-Aware Temporal Logic for Probabilistic Systems	2020	Mahmoud Elfar Yu Wang Miroslav Pajić
+	Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning	2020	Alper Kamil Bozkurt Yu Wang Miroslav Pajić
+	Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives	2020	Alper Kamil Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajić
+	Context-Aware Temporal Logic for Probabilistic Systems	2020	Mahmoud Elfar Yu Wang Miroslav Pajić
+	Learning Expected Reward for Switched Linear Control Systems: A Non-Asymptotic View	2020	Muhammad Abdullah Naeem Miroslav Pajić
+	Security Analysis for Distributed IoT-Based Industrial Automation	2020	Vuk Lesi Živana Jakovljević Miroslav Pajić
+	Attack-Resilient State Estimation with Intermittent Data Authentication	2020	Amir Khazraei Miroslav Pajić
+	Learning Monotone Dynamics by Neural Networks	2020	Yu Wang Qitong Gao Miroslav Pajić
+	Hyperproperties for Robotics: Motion Planning via HyperLTL.	2019	Yu Wang Siddhartha Nalluri Miroslav Pajić
+	Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning	2019	Alper Kamil Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajić
+	Attack-Resilient Supervisory Control of Discrete-Event Systems.	2019	Yu Wang Alper Kamil Bozkurt Miroslav Pajić
+	Security-Aware Synthesis Using Delayed-Action Games	2019	Mahmoud Elfar Yu Wang Miroslav Pajić
+	Relaxing Integrity Requirements for Attack-Resilient Cyber-Physical Systems	2019	Ilija Jovanov Miroslav Pajić
+	Statistical Model Checking for Probabilistic Hyperproperties.	2019	Yu Wang Siddhartha Nalluri Borzoo Bonakdarpour Miroslav Pajić
+	Statistical Model Checking for Hyperproperties	2019	Yu Wang Siddhartha Nalluri Borzoo Bonakdarpour Miroslav Pajić
+	Statistical Verification of Hyperproperties for Cyber-Physical System	2019	Yu Wang Mojtaba Zarei Borzoo Bonakdarpour Miroslav Pajić
+	Hyperproperties for Robotics: Planning via HyperLTL	2019	Yu Wang Siddhartha Nalluri Miroslav Pajić
+	An Optimal Graph-Search Method for Secure State Estimation	2019	Xusheng Luo Miroslav Pajić Michael M. Zavlanos
+	Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning	2019	Alper Kamil Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajić
+	Security-Aware Synthesis Using Delayed-Action Games	2019	Mahmoud Elfar Yu Wang Miroslav Pajić
+	Statistical Model Checking for Hyperproperties	2019	Yu Wang Siddhartha Nalluri Borzoo Bonakdarpour Miroslav Pajić
+	Attack-Resilient Supervisory Control of Discrete-Event Systems: A Finite-State Transducer Approach	2019	Yu Wang Alper Kamil Bozkurt Nathan J. Smith Miroslav Pajić
+	Integrating Security in Resource-Constrained Cyber-Physical Systems	2018	Vuk Lesi Ilija Jovanov Miroslav Pajić
+	Integrating Security in Resource-Constrained Cyber-Physical Systems	2018	Vuk Lesi Ilija Jovanov Miroslav Pajić
+	Relaxing Integrity Requirements for Attack-Resilient Cyber-Physical Systems	2017	Ilija Jovanov Miroslav Pajić
+	A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems	2017	Fei Miao Quanyan Zhu Miroslav Pajić George J. Pappas
+	Relaxing Integrity Requirements for Attack-Resilient Cyber-Physical Systems	2017	Ilija Jovanov Miroslav Pajić
+	Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks	2016	Fei Miao Quanyan Zhu Miroslav Pajić George J. Pappas

Common Coauthors

Coauthor	Papers Together
Yu Wang	38
Alper Kamil Bozkurt	19
Amir Khazraei	18
Qitong Gao	13
R. Spencer Hallyburton	13
Michael M. Zavlanos	12
Siddhartha Nalluri	7
Ilija Jovanov	6
Vuk Lesi	6
Muhammad Abdullah Naeem	6
Borzoo Bonakdarpour	5
David A. Hunt	5
Mahmoud Elfar	5
Spencer Hallyburton	4
Kristen Angell	4
Xusheng Luo	4
Hao-Lun Hsu	4
Tingjun Chen	3
Yupei Liu	3
Shaocheng Luo	3
Vahid Tarokh	3
Živana Jakovljević	3
Haocheng Meng	3
Borzoo Bonakdarpoor	2
Fei Miao	2
Majda Hadziahmetovic	2
Lawrence Carin	2
Panagiotis Vlantis	2
Nate Zelter	2
George J. Pappas	2
Juncheng Dong	2
Henry D. Pfister	2
Yan Zhang	2
Joshua Amason	2
Ricardo Henao	2
Chenyang Tao	2
Z. Morley Mao	2
Quanyan Zhu	2
Min Chi	2
Xiao Zhang	2
Mojtaba Zarei	2
Zhenzhou Qi	2
Siyang Yuan	2
David Hunt	2
W. Wang	1
Katherine Genty	1
Stephen L. Schmidt	1
Warren M. Grill	1
Dong Wang	1
Shiqi Sun	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Relaxing Integrity Requirements for Attack-Resilient Cyber-Physical Systems	2019	Ilija Jovanov Miroslav Pajić	12
+ PDF Chat	Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks	2014	Hamza Fawzi Paulo Tabuada Suhas Diggavi	12
+ PDF Chat	Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning	2020	Alper Kamil Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajić	9
+	Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks	2016	Fei Miao Quanyan Zhu Miroslav Pajić George J. Pappas	6
+	Event-Triggered State Observers for Sparse Sensor Noise/Attacks	2015	Yasser Shoukry Paulo Tabuada	6
+	Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives	2020	Alper Kamil Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajić	6
+ PDF Chat	Reinforcement learning with temporal logic rewards	2017	Xiao Li Cristian-Ioan Vasile Călin Belta	5
+	Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints	2014	Jie Fu Ufuk Topcu	5
+ PDF Chat	Verification of Markov Decision Processes Using Learning Algorithms	2014	Tomǎš Brázdil Krishnendu Chatterjee Martin Chmelík Vojtěch Forejt Jan Křetínský Marta Kwiatkowska David Parker Mateusz Ujma	4
+ PDF Chat	Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning	2021	Alper Kamil Bozkurt Yu Wang Miroslav Pajić	4
+ PDF Chat	A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications	2014	Dorsa Sadigh Eric S. Kim Samuel Coogan S. Shankar Sastry Sanjit A. Seshia	4
+	Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach	2017	Yasser Shoukry Pierluigi Nuzzo Alberto Puggelli Alberto Sangiovanni‐Vincentelli Sanjit A. Seshia Paulo Tabuada	4
+ PDF Chat	Attack-resilient state estimation with intermittent data authentication	2021	Amir Khazraei Miroslav Pajić	4
+ PDF Chat	Integrating Security in Resource-Constrained Cyber-Physical Systems	2020	Vuk Lesi Ilija Jovanov Miroslav Pajić	4
+	Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints	2014	Jie Fu Ufuk Topcu	4
+ PDF Chat	Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives	2021	Alper Kamil Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajić	4
+ PDF Chat	A secure control framework for resource-limited adversaries	2014	André Teixeira Iman Shames Henrik Sandberg Karl Henrik Johansson	3
+	PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games	2019	Pranav Ashok Jan Křetínský Maximilian Weininger	3
+ PDF Chat	Learning-Based Vulnerability Analysis of Cyber-Physical Systems	2022	Amir Khazraei Spencer Hallyburton Qitong Gao Yu Wang Miroslav Pajić	3
+	A Deep Learning-based Framework for Conducting Stealthy Attacks in Industrial Control Systems	2017	Cheng Feng Tingting Li Zhanxing Zhu Deeph Chana	3
+ PDF Chat	Data-injection attacks in stochastic control systems: Detectability and performance tradeoffs	2017	Cheng-Zong Bai Fabio Pasqualetti Vijay Gupta	3
+ PDF Chat	Adversarial Sensor Attack on LiDAR-based Perception in Autonomous Driving	2019	Yulong Cao Chaowei Xiao Benjamin Cyr Yimeng Zhou Won Park Sara Rampazzi Qi Alfred Chen Kevin Fu Z. Morley Mao	3
+ PDF Chat	Statistical model checking for biological applications	2014	Paolo Zuliani	3
+ PDF Chat	Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees	2019	Mohammadhosein Hasanbeig Yiannis Kantaros Alessandro Abate Daniel Kroening George J. Pappas I. Lee	3
+	ConAML: Constrained Adversarial Machine Learning for Cyber-Physical Systems	2020	Jiangnan Li Yingyuan Yang Jinyuan Sun Kevin Tomsovic Hairong Qi	3
+ PDF Chat	Safe Reinforcement Learning via Shielding	2018	Mohammed Alshiekh Roderick Bloem Rüdiger Ehlers Bettina Könighofer Scott Niekum Ufuk Topcu	3
+ PDF Chat	Supervisory Control of Discrete-Event Systems Under Attacks	2018	Masashi Wakaiki Paulo Tabuada João P. Hespanha	3
+ PDF Chat	HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties	2018	Erika Ábrahám Borzoo Bonakdarpour	3
+ PDF Chat	The Vulnerability of Cyber-Physical System Under Stealthy Attacks	2020	Tianju Sui Yilin Mo Damián Marelli Xi‐Ming Sun Minyue Fu	3
+ PDF Chat	Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations	2018	Rong Su	2
+ PDF Chat	MissForest—non-parametric missing value imputation for mixed-type data	2011	Daniel J. Stekhoven Peter Bühlmann	2
+	Sampling-Based Optimal Control Synthesis for Multirobot Systems Under Global Temporal Tasks	2018	Yiannis Kantaros Michael M. Zavlanos	2
+	Feasible Nonparametric Estimation of Multiargument Monotone Functions	1994	Hari Mukarjee Steven Stern	2
+ PDF Chat	Pareto Curves for Probabilistic Model Checking	2012	Vojtěch Forejt Marta Kwiatkowska David Parker	2
+ PDF Chat	A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks	2018	Xiao Li Yao Ma Călin Belta	2
+	Convergence of alternating optimization	2003	James C. Bezdek Richard J. Hathaway	2
+	MisGAN: Learning from Incomplete Data with Generative Adversarial Networks	2019	Steven Cheng-Xian Li Bo Jiang Benjamin M. Marlin	2
+ PDF Chat	Temporal Logic Task Planning and Intermittent Connectivity Control of Mobile Robot Networks	2019	Yiannis Kantaros Meng Guo Michael M. Zavlanos	2
+	Formal verification of neural network controlled autonomous systems	2019	Xiaowu Sun Haitham Khedr Yasser Shoukry	2
+	Temporal Logic Guided Safe Reinforcement Learning Using Control Barrier Functions	2019	Xiao Li Călin Belta	2
+ PDF Chat	Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm	2015	Zhenqi Huang Yu Wang Sayan Mitra Geir E. Dullerud Swarat Chaudhuri	2
+ PDF Chat	Tuning Windowed Chi-Squared Detectors for Sensor Attacks	2018	R. Tunga Carlos Murguia Justin Ruths	2
+ PDF Chat	Multicentre validation of a sepsis prediction algorithm using only vital sign data in the emergency department, general ward and ICU	2018	Qingqing Mao Melissa Jay Jana Hoffman Jacob Calvert Christopher Barton David Shimabukuro Lisa Shieh Uli K. Chettipally Grant Fletcher Yaniv Kerem	2
+	Continuous control with deep reinforcement learning	2015	Timothy Lillicrap Jonathan J. Hunt Alexander Pritzel Nicolas Heess Tom Erez Yuval Tassa David Silver Daan Wierstra	2
+	Logically-Constrained Reinforcement Learning	2018	Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening	2
+ PDF Chat	Verifying Security Policies in Multi-agent Workflows with Loops	2017	Bernd Finkbeiner Christian Müller Helmut Seidl Eugen Zălinescu	2
+ PDF Chat	Efficient Computations of a Security Index for False Data Attacks in Power Networks	2014	Julien M. Hendrickx Karl Henrik Johansson Raphaël M. Jungers Henrik Sandberg Kin Cheong Sou	2
+ PDF Chat	Sparse Gaussian Processes on Discrete Domains	2021	Vincent Fortuin Gideon Dresdner Heiko Strathmann Gunnar Rätsch	2
+	Monotone Dynamical Systems: An Introduction to the Theory of Competitive and Cooperative Systems	2008	Hal L. Smith	2
+	Temporal Pattern Discovery for Accurate Sepsis Diagnosis in ICU Patients	2017	Eitam Sheetrit Nir Nissim Denis Klimov Lior Fuchs Yuval Elovici Yuval Shaḥar	2