Trigger-Based Fragile Model Watermarking for Image Transformation Networks. - Preston K. Robinette; Dung Thuy Nguyen; Samuel Sasaki; Taylor T. Johnson (CoRR, 2024)

Robustness Verification of Video Classification Neural Networks. - Samuel Sasaki; Diego Manzanas Lopez; Preston K. Robinette; Taylor T. Johnson (FormaliSE, 2025)

Neurosymbolic Finite and Pushdown Automata: Improved Multimodal Reasoning versus Vision Language Models (VLMs). - Samuel Sasaki; Diego Manzanas Lopez; Taylor T. Johnson (NeuS, 2025)