デュブ ジェレミー
Jérémy Dubut
更新日: 01/30
基本情報
- 所属
- 国立研究開発法人産業技術総合研究所 研究員
- 学位
-
doctor(2017年9月 ENS Paris-Saclay)
- 研究者番号
- 50836765
- J-GLOBAL ID
- 201801019816267340
- researchmap会員ID
- B000317847
- 外部リンク
経歴
4-
2022年4月 - 現在
-
2019年7月 - 2022年3月
-
2017年11月 - 2019年6月
-
2014年10月 - 2017年9月
主要な受賞
3論文
32-
IEEE Transactions on Intelligent Vehicles 8(4) 3040-3072 2023年4月
-
CoRR abs/2308.10365 2023年
-
CoRR abs/2308.06785 2023年
-
CDC 2870-2877 2022年
-
Logical Methods in Computer Science 18(1) 2022年
-
Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis.CoRR abs/2201.08648 2022年
-
CoRR abs/2103.16122 2021年
-
2021 60th IEEE Conference on Decision and Control (CDC)(CDC) 1321-1328 2021年
-
Journal of Logic and Computation 31(6) 1526-1559 2021年
-
2020年4月 査読有り
-
CoRR abs/2009.13065 2020年
-
Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software 191-208 2020年
-
Proceedings of the 21st International Federation of Automatic Control World Congress (IFAC 2020) 2020年 査読有り
-
Commentationes Mathematicae Universitatis Carolinae, special issue dedicated to Vêra Trnková 60(4) 605-638 2019年3月 査読有り
-
CoRR abs/1903.00153 2019年
MISC
2共同研究・競争的資金等の研究課題
1-
日本学術振興会 若手研究 2019年4月 - 2022年3月