ドゥブジェレミー (Jérémy Dubut) - マイポータル

基本情報

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

Relational Differential Dynamic Logic

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

2020年4月査読有り
Bisimilarity of diagrams

Jérémy Dubut

2020年4月査読有り
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年査読有り
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 2019年6月査読有り
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 2019年3月査読有り

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

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

2019年4月12日
Quantitative bisimulations using coreflections and open morphisms

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

2018年9月25日