32 citations · 92 across the 26 of their papers we have counts for
7 papers · 1 filter
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
Piergiuseppe Mallozzi, Pierluigi Nuzzo, Nir Piterman +2
Effectively specifying and implementing robotic missions poses a set of challenges to software engineering for robotic systems. These challenges stem from the need to formalize and…
Similarity-Based Logic Locking Against Machine Learning Attacks
Subhajit Dutta Chowdhury, Kaixin Yang, Pierluigi Nuzzo
Logic locking is a promising technique for protecting integrated circuit designs while outsourcing their fabrication. Recently, graph neural network (GNN)-based link prediction att…
Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes
Krishna C. Kalagarla, Dhruva Kartik, Dongming Shen +3
Autonomous systems often have logical constraints arising, for example, from safety, operational, or regulatory requirements. Such constraints can be expressed using temporal logic…
Unraveling Latch Locking Using Machine Learning, Boolean Analysis, and ILP
Dake Chen, Xuan Zhou, Yinghua Hu +5
Logic locking has become a promising approach to provide hardware security in the face of a possibly insecure fabrication supply chain. While many techniques have focused on lockin…
Equivalent and Compact Representations of Neural Network Controllers With Decision Trees
Kevin Chang, Nathan Dahlin, Rahul Jain +1
Over the past decade, neural network (NN)-based controllers have demonstrated remarkable efficacy in a variety of decision-making tasks. However, their black-box nature and the ris…
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses
Christopher Leet, Chanwook Oh, Michele Lora +2
We address the warehouse servicing problem (WSP) in automated warehouses, which use teams of mobile agents to bring products from shelves to packing stations. Given a list of produ…