Xusheng Luo

Formal Verification of Stochastic Systems with ReLU Neural Network Controllers

2021 · arXiv (Cornell University)

In this work, we address the problem of formal safety verification for stochastic cyber-physical systems (CPS) equipped with ReLU neural network (NN) controllers. Our goal is to find the set of initial states from where, …

Knowledge Base Question Answering via Encoding of Complex Query Graphs

2018

Answering complex questions that involve multiple entities and multiple relations using a standard knowledge base is an open and challenging task. Most existing KBQA approaches focus on simpler questions and do not work very well …