ヂュブジェレミー - マイポータル

基本情報

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á 2019年3月査読有り
Complete Non-Orders and Fixed Points.

Akihisa Yamada, érémy Dubut

10th International Conference on Interactive Theorem Proving, ITP 2019, September 9-12, 2019, Portland, OR, USA. 30:1-30:16 2019年査読有り
Trees in Partial Higher Dimensional Automata.

Jérémy Dubut

Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings 224 - 241 2019年査読有り
Relational differential dynamic logic: poster abstract.

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

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. 284 - 285 2019年査読有り

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日
Relational Differential Dynamic Logic

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

2019年3月1日
Quantitative bisimulations using coreflections and open morphisms

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

2018年9月25日
Bisimilarity of diagrams

Jérémy Dubut

2018年4月29日