Decision making for autonomous vehicles at unsignalized intersection in presence of malicious vehicles S Pruekprasert, X Zhang, J Dubut, C Huang, M Kishida 2019 IEEE Intelligent Transportation Systems Conference (ITSC), 2299-2304, 2019 | 36 | 2019 |
Natural homology J Dubut, E Goubault, J Goubault-Larrecq Automata, Languages, and Programming: 42nd International Colloquium, ICALP …, 2015 | 24 | 2015 |
Fibrational bisimulations and quantitative reasoning D Sprunger, S Katsumata, J Dubut, I Hasuo Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International …, 2018 | 14 | 2018 |
Directed homology theories and Eilenberg-Steenrod axioms J Dubut, E Goubault, J Goubault-Larrecq Applied Categorical Structures 25, 775-807, 2017 | 14 | 2017 |
Path Category for Free: Open Morphisms from Coalgebras with Non-deterministic Branching T Wißmann, J Dubut, S Katsumata, I Hasuo Foundations of Software Science and Computation Structures: 22nd …, 2019 | 11 | 2019 |
Goal-aware RSS for complex scenarios via program logic I Hasuo, C Eberhart, J Haydon, J Dubut, R Bohrer, T Kobayashi, ... IEEE Transactions on Intelligent Vehicles, 2022 | 9 | 2022 |
Fibrational bisimulations and quantitative reasoning: Extended version D Sprunger, S Katsumata, J Dubut, I Hasuo Journal of Logic and Computation 31 (6), 1526-1559, 2021 | 9 | 2021 |
Directed homotopy and homology theories for geometric models of true concurrency J Dubut Université Paris Saclay (COmUE), 2017 | 9 | 2017 |
Moment propagation of discrete-time stochastic polynomial systems using truncated carleman linearization S Pruekprasert, T Takisaka, C Eberhart, A Cetinkaya, J Dubut IFAC-PapersOnLine 53 (2), 14462-14469, 2020 | 8 | 2020 |
A coalgebraic view on reachability T Wißmann, S Milius, S Katsumata, J Dubut arXiv preprint arXiv:1901.10717, 2019 | 7 | 2019 |
Trees in Partial Higher Dimensional Automata. J Dubut FoSSaCS, 224-241, 2019 | 6 | 2019 |
The directed homotopy hypothesis J Dubut, E Goubault, J Goubault-Larrecq Proceedings of the 25th Annual EACSL Conference on Computer Science Logic …, 2016 | 6 | 2016 |
Bisimulations and unfolding in P-accessible categorical models J Dubut, E Goubault, J Goubault-Larrecq 27th International Conference on Concurrency Theory (CONCUR 2016), 2016 | 6 | 2016 |
A game-theoretic approach to decision making for multiple vehicles at roundabout S Pruekprasert, J Dubut, X Zhang, C Huang, M Kishida arXiv preprint arXiv:1904.06224, 2019 | 5 | 2019 |
Formal verification of safety architectures for automated driving C Eberhart, J Dubut, J Haydon, I Hasuo 2023 IEEE Intelligent Vehicles Symposium (IV), 1-8, 2023 | 4 | 2023 |
Relational differential dynamic logic J Kolčák, I Hasuo, J Dubut, S Katsumata, D Sprunger, A Yamada Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 4 | 2019 |
Fixed Points Theorems for Non-Transitive Relations J Dubut, A Yamada Logical Methods in Computer Science 18, 2022 | 2 | 2022 |
Moment propagation through Carleman linearization with application to probabilistic safety analysis S Pruekprasert, J Dubut, T Takisaka, C Eberhart, A Cetinkaya arXiv preprint arXiv:2201.08648, 2022 | 2 | 2022 |
Bisimilarity of diagrams J Dubut Relational and Algebraic Methods in Computer Science: 18th International …, 2020 | 2 | 2020 |
Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications S Pruekprasert, C Eberhart, J Dubut 2020 16th International Conference on Control, Automation, Robotics and …, 2020 | 1 | 2020 |