25 citations · 78 across the 49 of their papers we have counts for
4 papers · 1 filter
Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
Bardh Hoxha, Oliver Schön, Hideki Okamoto +2
We study certified runtime monitoring of past-time signal temporal logic (ptSTL) from visual observations under partial observability. The monitor must infer safety-relevant quanti…
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees
Giulia Pedrielli, Tanmay Khandait, Surdeep Chotaliya +4
Requirements driven search-based testing (also known as falsification) has proven to be a practical and effective method for discovering erroneous behaviors in Cyber-Physical Syste…
Local Repair of Neural Networks Using Optimization
Keyvan Majd, Siyu Zhou, Heni Ben Amor +2
In this paper, we propose a framework to repair a pre-trained feed-forward neural network (NN) to satisfy a set of properties. We formulate the properties as a set of predicates th…
Gray-box Adversarial Testing for Control Systems with Machine Learning Component
Shakiba Yaghoubi, Georgios Fainekos
Neural Networks (NN) have been proposed in the past as an effective means for both modeling and control of systems with very complex dynamics. However, despite the extensive resear…