32 citations · 92 across the 26 of their papers we have counts for
27 papers
Systematic Evaluation of Knowledge Graph Repair with Large Language Models
Tung-Wei Lin, Gabe Fierro, Han Li +3
We present a systematic approach for evaluating the quality of knowledge graph repairs with respect to constraint violations defined in shapes constraint language (SHACL). Current…
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…