Search Results for author: Zhenya Zhang

Found 5 papers, 3 papers with code

Online Causation Monitoring of Signal Temporal Logic

1 code implementation28 May 2023 Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo

The classic STL monitoring is performed by computing a robustness interval that specifies, at each instant, how far the monitored signals are from violating and satisfying the specification.

On the Effectiveness of Hybrid Pooling in Mixup-Based Graph Learning for Language Processing

no code implementations6 Oct 2022 Zeming Dong, Qiang Hu, Zhenya Zhang, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon, Jianjun Zhao

Graph neural network (GNN)-based graph learning has been popular in natural language and programming language processing, particularly in text and source code classification.

Code Classification Data Augmentation +2

Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input

1 code implementation11 Dec 2018 Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo

We present an algorithm that quickly finds falsifying inputs for hybrid systems, i. e., inputs that steer the system towards violation of a given temporal logic requirement.

Systems and Control

Cannot find the paper you are looking for? You can Submit a new open access paper.