デュブ ジェレミー
Jérémy Dubut
更新日: 01/30
論文
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年