デュブジェレミー

Dubut Jérémy

所属機関・部署：
職名：研究員
ホームページURL (1件)： https://jeremydubut.com

研究分野 (3件)：応用数学、統計数学 , 数学基礎 , 情報学基礎論

研究キーワード (4件)： Directed Algebraic Topology , Bisimulations , True concurrency , Category theory

競争的資金等の研究課題 (1件)：

2019 - 2022 Synthesising directed structures in Computer Science using Directed Algebraic Topology

論文 (28件)：

Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang 0005, Erik André Pallas, Akihisa Yamada 0002, et al. Goal-Aware RSS for Complex Scenarios via Program Logic. IEEE Transactions on Intelligent Vehicles. 2023. 8. 4. 3040-3072
Clovis Eberhart, James Haydon, Jérémy Dubut, Ahmet Cetinkaya, Sasinee Pruekprasert. Logic for Timed Agent Network Topologies. CDC. 2022. 2870-2877
Jérémy Dubut, Akihisa Yamada 0002. Fixed Points Theorems for Non-Transitive Relations. Logical Methods in Computer Science. 2022. 18. 1
Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya. Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis. CoRR. 2022. abs/2201.08648
Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut. Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications. CoRR. 2021. abs/2103.16122

MISC (2件)：

Sasinee Pruekprasert, Jérémy Dubut, Xiaoyi Zhang, Chao Huang, Masako Kishida. A Game Theoretic Approach to Decision Making for Multiple Vehicles at Roundabout. 2019
Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger. Quantitative bisimulations using coreflections and open morphisms. 2018

学位 (1件)：

経歴 (4件)：

受賞 (3件)：

2020/12 - IEEE Paper award finalist at ICARCV 2020
2019/04 - Best Theory Paper Award at ETAPS
2016/09 - Université Paris-Saclay First Price of the best scientific production of the STIC doctoral school

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

デュブ ジェレミー