Follow
Jérémy Dubut
Title
Cited by
Cited by
Year
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
352019
Natural homology
J Dubut, E Goubault, J Goubault-Larrecq
Automata, Languages, and Programming: 42nd International Colloquium, ICALP …, 2015
232015
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
142018
Directed homology theories and Eilenberg-Steenrod axioms
J Dubut, E Goubault, J Goubault-Larrecq
Applied Categorical Structures 25, 775-807, 2017
142017
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
102019
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
82022
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
82020
Directed homotopy and homology theories for geometric models of true concurrency
J Dubut
Université Paris Saclay (COmUE), 2017
82017
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
72021
A coalgebraic view on reachability
T Wißmann, S Milius, S Katsumata, J Dubut
arXiv preprint arXiv:1901.10717, 2019
72019
Trees in Partial Higher Dimensional Automata.
J Dubut
FoSSaCS, 224-241, 2019
62019
The directed homotopy hypothesis
J Dubut, E Goubault, J Goubault-Larrecq
Proceedings of the 25th Annual EACSL Conference on Computer Science Logic …, 2016
62016
Bisimulations and unfolding in P-accessible categorical models
J Dubut, E Goubault, J Goubault-Larrecq
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
62016
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
52019
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
42023
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
42019
Fixed Points Theorems for Non-Transitive Relations
J Dubut, A Yamada
Logical Methods in Computer Science 18, 2022
22022
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
22022
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
12020
Bisimilarity of diagrams
J Dubut
Relational and Algebraic Methods in Computer Science: 18th International …, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20