6 papers
Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features
Anne M. Tumlin, Ben Wooding, Zhenxuan Shao +3
Graph neural networks (GNNs) have become a prominent approach for developing fast, topology-aware surrogates in electric power systems, supporting tasks such as power flow (PF) ana…
NNV3: Expanding Neural Network Verification to New Architectures and Domains
Anne M. Tumlin, Samuel Sasaki, Ben Wooding +8
We present NNV3, the latest version of the Neural Network Verification (NNV) tool, a MATLAB framework for formal verification of deep learning models and learning-enabled cyber-phy…
RAD: Rule-Augmented Relational Anomaly Detection
Noah Dahle, Anne Tumlin, Ngoc Tran +2
Anomaly detection is often applied to data stored in relational databases, yet most existing methods require flattening multiple tables into a single feature matrix. This flattenin…
Amplifying Your Social Media Presence: Personalized Influential Content Generation with LLMs
Yuying Zhao, Yu Wang, Xueqi Cheng +5
The remarkable advancements in Large Language Models (LLMs) have revolutionized the content generation process in social media, offering significant convenience in writing tasks. H…
Verification of Behavior Trees with Contingency Monitors
Serena S. Serbinowska, Nicholas Potteiger, Anne M. Tumlin +1
Behavior Trees (BTs) are high level controllers that have found use in a wide range of robotics tasks. As they grow in popularity and usage, it is crucial to ensure that the approp…
A Visibility Roadmap Sampling Approach for a Multi-Robot Visibility-Based Pursuit-Evasion Problem
Trevor Olsen, Anne M. Tumlin, Nicholas M. Stiffler +1
Given a two-dimensional polygonal space, the multi-robot visibility-based pursuit-evasion problem tasks several pursuer robots with the goal of establishing visibility with an arbi…