Clovis Eberhart

Assistant Professor

Tohoku University

Japan

Research Interests

Explore related searches

Professors in Japan

About

Clovis Eberhart is an Assistant Professor at Tohoku University, Japan. His research areas encompass mean payoff games, polynomial systems, probabilistic safety analysis, and logical condition propagation. He has contributed to recent articles focusing on innovative approaches in game theory and program logic.

Articles (5)

Year:

2025

Year:

2024

Year:

2024

Year:

2023

Year:

2022

Collaborators (2)

Rose Bohrer

Worcester Polytechnic Institute

UNITED STATES

View details

Sasinee Pruekprasert

University of Tokyo

JAPAN

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Clovis Eberhart

Research Interests

Explore related searches

About

Articles (5)

Compositional Solution of Mean Payoff Games by String Diagrams

Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis

Control-data separation and logical condition propagation for efficient inference on probabilistic programs

Goal-Aware RSS for Complex Scenarios via Program Logic

Codensity Games for Bisimilarity

Collaborators (2)

Rose Bohrer

Sasinee Pruekprasert

Make your next move.