3 citations · 3 across the 1 of their papers we have counts for
2 papers
eess.SY2026
Large Language Models as Falsifiers for Cyber-Physical Systems
Ali ArjomandBigdeli, Jiawei Zhou, Stanley Bak
Falsification searches for counterexamples to formal specifications in cyber-physical systems (CPS). With specifications written in Signal Temporal Logic (STL), falsification can b…
eess.SY2024★ 3 cited
Verification of Neural Network Control Systems in Continuous Time
Ali ArjomandBigdeli, Andrew Mata, Stanley Bak
Neural network controllers are currently being proposed for use in many safety-critical tasks. Most analysis methods for neural network control systems assume a fixed control perio…