Jérémy Dubut

Profile Information

Affiliation: National Institute of Informatics ERATO Hasuo Project Project Assistant Professor
: Japanese French Laboratory for Informatics

Relational Differential Dynamic Logic

Juraj Kolčák, Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada

Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020) 4 2020 Peer-reviewed
Bisimilarity of diagrams

Jérémy Dubut

Proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2020) 4 2020 Peer-reviewed
Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization

Sasinee Pruekprasert, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya, Jérémy Dubut

Proceedings of the 21st International Federation of Automatic Control World Congress (IFAC 2020) 2020 Peer-reviewed
Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles

Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut, Chao Huang, Masako Kishida

ITSC 2019 6 2019 Peer-reviewed
A Coalgebraic View on Reachability

Thorsten Wißmann, Stefan Milius, Shin-ya Katsumata, Jérémy Dubut

Commentationes Mathematicae Universitatis Carolinae, special issue dedicated to Vêra Trnková 60(4) 605 - 638 3 2019 Peer-reviewed

A Game Theoretic Approach to Decision Making for Multiple Vehicles at Roundabout

Sasinee Pruekprasert, Jérémy Dubut, Xiaoyi Zhang, Chao Huang, Masako Kishida

4 12, 2019
Quantitative bisimulations using coreflections and open morphisms

Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger

9 25, 2018

Synthesising directed structures in Computer Science using Directed Algebraic Topology

Japanese Society for the Promotion of Science Grant-in-Aid for Early-Career Scientists

Jérémy Dubut