Nuzzo, Pierluigi

1. Model-Free Reinforcement Learning for Optimal Control of MarkovDecision\n Processes Under Signal Temporal Logic Specifications
   2021/09/27 by Krishna C. Kalagarla, Kalagarla, Krishna C., Rahul Jain +3 · 3 citations
   Computer Science · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Reinforcement Learning in Robotics #Robotic Path Planning Algorithms #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Secure State Estimation For Cyber Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
   2014/12/14 by Shoukry, Yasser, Nuzzo, Pierluigi, Puggelli, Alberto +3 · 1 citation
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Information Theory (cs.IT) #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
3. A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with\n Constraints
   2020/09/23 by Krishna C. Kalagarla, Rahul Jain, Kalagarla, Krishna C. +3 · 1 citation
   Computer Science · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms #Reinforcement Learning in Robotics #Systems and Control (eess.SY) #electronic engineering #information engineering
4. ReIGNN: State Register Identification Using Graph Neural Networks for Circuit Reverse Engineering
   2021/12/01 by Subhajit Dutta Chowdhury, Chowdhury, Subhajit Dutta, Kaixin Yang +3 · 1 citation
   Computer Science · Engineering · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Integrated Circuits and Semiconductor Failure Analysis #Machine Learning (cs.LG) #Physical Unclonable Functions (PUFs) and Hardware Security #VLSI and Analog Circuit Testing
5. TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal Attacks
   2022/01/16 by Yuke Zhang, Yinghua Hu, Zhang, Yuke +5 · 1 citation
   Computer Science · Engineering · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Electrical engineering #Integrated Circuits and Semiconductor Failure Analysis #Physical Unclonable Functions (PUFs) and Hardware Security #Security and Verification in Computing #Systems and Control (eess.SY) #electronic engineering #information engineering
6. Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints
   2022/03/26 by Muhammad Waqas, Muhammad Ali Murtaza, Waqas, Muhammad +5 · 1 citation
   Engineering · #Traffic control and management #Vehicular Ad Hoc Networks (VANETs) #Autonomous Vehicle Technology and Safety
7. DECOR: Enhancing Logic Locking Against Machine Learning-Based Attacks
   2024/03/04 by Yinghua Hu, Hu, Yinghua, Kaixin Yang +5 · 1 citation
   Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Electrical engineering #Physical Unclonable Functions (PUFs) and Hardware Security #Security and Verification in Computing #Systems and Control (eess.SY) #electronic engineering #information engineering
8. Contract-Based Specification Refinement and Repair for Mission Planning
   2022/11/21 by Mallozzi, Piergiuseppe, Incer, Inigo, Nuzzo, Pierluigi +1 · 1 citation
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Robotics (cs.RO) #Software Engineering (cs.SE)