1 citations · 2 across the 4 of their papers we have counts for
6 papers
Compositional Planning for Logically Constrained Multi-Agent Markov Decision Processes
Krishna C. Kalagarla, Matthew Low, Rahul Jain +2
Designing control policies for large, distributed systems is challenging, especially in the context of critical, temporal logic based specifications (e.g., safety) that must be met…
DECOR: Enhancing Logic Locking Against Machine Learning-Based Attacks
Yinghua Hu, Kaixin Yang, Subhajit Dutta Chowdhury +1
Logic locking (LL) has gained attention as a promising intellectual property protection measure for integrated circuits. However, recent attacks, facilitated by machine learning (M…
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…
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…
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…
Safe Posterior Sampling for Constrained MDPs with Bounded Constraint Violation
Krishna C Kalagarla, Rahul Jain, Pierluigi Nuzzo
Constrained Markov decision processes (CMDPs) model scenarios of sequential decision making with multiple objectives that are increasingly important in many applications. However,…