Pajic, Miroslav
- Control Synthesis from Linear Temporal Logic Specifications using\n Model-Free Reinforcement Learning
2019/01/01 by Alper Kamil Bozkurt, Bozkurt, Alper Kamil, Yu Wang +5 · 8 citations
Computer Science · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Reinforcement Learning in Robotics #Robotics (cs.RO)
- Hyperproperties for Robotics: Planning via HyperLTL
2019/11/26 by Yu Wang, Siddhartha Nalluri, Wang, Yu +3 · 4 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Robotics (cs.RO)
- Security Analysis of Camera-LiDAR Fusion Against Black-Box Attacks on Autonomous Vehicles
2021/06/13 by Hallyburton, R. Spencer, Liu, Yupei, Cao, Yulong +2 · 5 citations
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Statistical Verification of Hyperproperties for Cyber-Physical System
2019/06/17 by Yu Wang, Wang, Yu, Mojtaba Zarei +5 · 4 citations
Computer Science · Decision Sciences · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #Simulation Techniques and Applications
- Randomized Exploration in Cooperative Multi-Agent Reinforcement Learning
2024/04/16 by Hsu, Hao-Lun, Wang, Weixin, Pajic, Miroslav +1 · 7 citations
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- Attack-Resilient State Estimation with Intermittent Data Authentication
2020/05/16 by Khazraei, Amir, Pajic, Miroslav · 3 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- RadCloud: Real-Time High-Resolution Point Cloud Generation Using Low-Cost Radars for Aerial and Ground Vehicles
2024/03/09 by David A. Hunt, Shaocheng Luo, Hunt, David +11 · 5 citations
Engineering · Environmental Science · Physics and Astronomy · #Advanced Optical Sensing Technologies #Aerospace and Aviation Technology #FOS: Computer and information sciences #FOS: Electrical engineering #Remote Sensing and LiDAR Applications #Robotics (cs.RO) #Signal Processing (eess.SP) #electronic engineering #information engineering
- Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
2020/10/02 by Bozkurt, Alper Kamil, Wang, Yu, Zavlanos, Michael +1 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Robotics (cs.RO)
- Offline Learning of Closed-Loop Deep Brain Stimulation Controllers for Parkinson Disease Treatment
2023/02/05 by Gao, Qitong, Schimdt, Stephen L., Chowdhury, Afsana +6 · 2 citations
#FOS: Biological sciences #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Quantitative Methods (q-bio.QM) #Signal Processing (eess.SP) #electronic engineering #information engineering
- AVstack: An Open-Source, Reconfigurable Platform for Autonomous Vehicle Development
2022/12/28 by R. Spencer Hallyburton, Shucheng Zhang, Hallyburton, R. Spencer +3 · 2 citations
Engineering · #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Software Engineering (cs.SE) #Systems and Control (eess.SY) #Transportation and Mobility Innovations #Vehicular Ad Hoc Networks (VANETs) #electronic engineering #information engineering
- Off-Policy Evaluation for Human Feedback
2023/10/11 by Qitong Gao, Gao, Qitong, Juncheng Dong +8 · 2 citations
Neuroscience · #Artificial Intelligence (cs.AI) #EEG and Brain-Computer Interfaces #FOS: Computer and information sciences #Machine Learning (cs.LG)
- MadRadar: A Black-Box Physical Layer Attack Framework on mmWave Automotive FMCW Radars
2023/11/27 by David A. Hunt, Hunt, David, Kristen Angell +7 · 3 citations
Computer Science · Engineering · #Biometric Identification and Security #FOS: Electrical engineering #Radar Systems and Signal Processing #Signal Processing (eess.SP) #Vehicular Ad Hoc Networks (VANETs) #electronic engineering #information engineering
- Integrating Security in Resource-Constrained Cyber-Physical Systems
2018/11/08 by Lesi, Vuk, Jovanov, Ilija, Pajic, Miroslav · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Software Engineering (cs.SE)
- Learning Monotone Dynamics by Neural Networks
2020/06/11 by Yu Wang, Qitong Gao, Wang, Yu +3 · 1 citation
Computer Science · Physics and Astronomy · Materials Science · #Neural Networks and Applications #Model Reduction and Neural Networks #Machine Learning in Materials Science
- Learning Optimal Strategies for Temporal Tasks in Stochastic Games
2021/02/08 by Alper Kamil Bozkurt, Yu Wang, Bozkurt, Alper Kamil +5 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Receptor Mechanisms and Signaling #Robotics (cs.RO)
- Learning-Based Vulnerability Analysis of Cyber-Physical Systems
2021/03/10 by Amir Khazraei, Khazraei, Amir, Spencer Hallyburton +7 · 1 citation
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Smart Grid Security and Resilience #Systems and Control (eess.SY) #electronic engineering #information engineering
- Reinforcement Learning with Temporal Logic Constraints for Partially-Observable Markov Decision Processes
2021/04/04 by Yu Wang, Wang, Yu, Alper Kamil Bozkurt +3 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Reinforcement Learning in Robotics #Robotics (cs.RO)
- Relaxing Integrity Requirements for Attack-Resilient Cyber-Physical\n Systems
2017/07/10 by Ilija Jovanov, Miroslav Pajić, Jovanov, Ilija +1 · 1 citation
Engineering · Computer Science · #Smart Grid Security and Resilience #Network Security and Intrusion Detection #Security and Verification in Computing
- Resiliency of Nonlinear Control Systems to Stealthy Sensor Attacks
2022/04/07 by Amir Khazraei, Khazraei, Amir, Miroslav Pajić +1 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Bacillus and Francisella bacterial research #FOS: Electrical engineering #Smart Grid Security and Resilience #Systems and Control (eess.SY) #electronic engineering #information engineering
- Secure Planning Against Stealthy Attacks via Model-Free Reinforcement\n Learning
2020/01/01 by Alper Kamil Bozkurt, Yu Wang, Bozkurt, Alper Kamil +3 · 2 citations
Computer Science · Engineering · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Physical Unclonable Functions (PUFs) and Hardware Security #Robotics (cs.RO) #Smart Grid Security and Resilience
- Model-Free Learning of Safe yet Effective Controllers
2021/03/26 by Bozkurt, Alper Kamil, Wang, Yu, Pajic, Miroslav · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Robotics (cs.RO)
- Treatment Effects in Extreme Regimes
2023/06/20 by Ahmed Aloui, Aloui, Ahmed, Ali Hasan +7 · 1 citation
Mathematics · #Advanced Causal Inference Techniques #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Methodology (stat.ME) #Statistical Methods and Inference
- Variational Latent Branching Model for Off-Policy Evaluation
2023/01/28 by Qitong Gao, Gao, Qitong, Ge Gao +5 · 1 citation
Computer Science · Engineering · Environmental Science · #Reinforcement Learning in Robotics #Green IT and Sustainability #Environmental Impact and Sustainability
- Attack-Resilient Supervisory Control of Discrete-Event Systems: A Finite-State Transducer Approach
2019/04/05 by Yu Wang, Alper Kamil Bozkurt, Wang, Yu +5 · 1 citation
Computer Science · Engineering · #Security and Verification in Computing #Semiconductor materials and devices #Smart Grid Security and Resilience
- Optimal Myopic Attacks on Nonlinear Estimation
2022/04/14 by Hallyburton, R. Spencer, Khazraei, Amir, Pajic, Miroslav · 1 citation
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- On the Uniqueness of Solution for the Bellman Equation of LTL Objectives
2024/04/07 by Xuan, Zetong, Bozkurt, Alper Kamil, Pajic, Miroslav +1 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Robotics (cs.RO)