Meet ApplyKite Twin, the application assistant that learns with you

Meet your Twin, it learns with you

Your Twin learns with you

Launch week codes:30% off annual Pro20% off monthly Pro

Ends in00h00m00s

Zhenya Zhang

Assistant Professor

Kyushu University

Japan

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in Japan Professors in Artificial Intelligence Artificial Intelligence professors in Japan

Articles (20)

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2023

Year:

2023

Collaborators (7)

Herath Mudiyanselage Nelanga Dil Bandara

University of New South Wales

AUSTRALIA

View details

Yuejun Guo

Senior R&T Scientist

Luxembourg Institute of Science and Technology (LIST)

LUXEMBOURG

View details

Paolo Arcaini

Project Associate Professor

National Institute of Informatics

JAPAN

View details

Jianjun Zhao

Professor

Kyushu University

JAPAN

View details

Wang Yi

Uppsala University

SWEDEN

View details

Deyun Lyu

National Institute of Informatics

JAPAN

View details

Qiang Hu

Associate Professor

University of Tokyo

JAPAN

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Zhenya Zhang

Research Interests

Make your next move.

Explore related searches

Articles (20)

Causality Monitoring for MIMOS

CauMon: A tool for online monitoring against signal temporal logic

PALM: An MCTS-based tool for testing unmanned aerial vehicles

META²V2V: Revealing Behavioural Deviations under Mutual Perception in Multi-Vehicle Autonomous Driving

Mining Verdict Boundaries for Neural Network Verification

Precise Verification of Transformers Through ReLU-Catalyzed Abstraction Refinement

STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP

Fault localization of AI-enabled cyber–physical systems by exploiting temporal neuron activation

Automated Generation of Benchmarks for Falsification of STL Specifications

SpectAcle : Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences

Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality

CauMon: An Informative Online Monitor for Signal Temporal Logic

On the effectiveness of graph data augmentation for source code learning

On the effectiveness of hybrid pooling in mixup-based graph learning for language processing

LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models

Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications

TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track

Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications

A Robustness-Based Confidence Measure for Hybrid System Falsification

A Survey on Automated Driving System Testing: Landscapes and Trends

Collaborators (7)

Herath Mudiyanselage Nelanga Dil Bandara

Yuejun Guo

Paolo Arcaini

Jianjun Zhao

Wang Yi

Deyun Lyu

Qiang Hu

Make your next move.