Zhenya Zhang

Available identifiers

zbMath Open zhang.zhenyaMaRDI QIDQ832204

List of research outcomes

Publication	Date of Publication	Type
Falsification of hybrid systems using adaptive probabilistic search	2024-08-08	Paper
Multi-armed bandits for Boolean connectives in hybrid system falsification	2024-02-16	Paper
Online causation monitoring of signal temporal logic	2024-02-01	Paper
Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness	2022-03-25	Paper
Advances in Neural Networks – ISNN 2005	2005-11-23	Paper
Advances in Neural Networks – ISNN 2005	2005-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q5461599	2005-07-26	Paper

Research outcomes over time

This page was built for person: Zhenya Zhang