Jérémy Dubut
Cited by
Cited by
Natural homology
J Dubut, E Goubault, J Goubault-Larrecq
International Colloquium on Automata, Languages, and Programming, 171-183, 2015
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
Fibrational bisimulations and quantitative reasoning
D Sprunger, S Katsumata, J Dubut, I Hasuo
International Workshop on Coalgebraic Methods in Computer Science, 190-213, 2018
Directed homology theories and Eilenberg-Steenrod axioms
J Dubut, E Goubault, J Goubault-Larrecq
Applied Categorical Structures 25 (5), 775-807, 2017
A coalgebraic view on reachability
T Wißmann, S Milius, S Katsumata, J Dubut
arXiv preprint arXiv:1901.10717, 2019
Path category for free
T Wißmann, J Dubut, S Katsumata, I Hasuo
International Conference on Foundations of Software Science and Computation …, 2019
Bisimulations and unfolding in P-accessible categorical models
J Dubut, E Goubault, J Goubault-Larrecq
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
Trees in Partial Higher Dimensional Automata.
J Dubut
FoSSaCS, 224-241, 2019
Directed homotopy and homology theories for geometric models of true concurrency
J Dubut
Université Paris Saclay (COmUE), 2017
Relational differential dynamic logic
J Kolčák, J Dubut, I Hasuo, S Katsumata, D Sprunger, A Yamada
International Conference on Tools and Algorithms for the Construction and …, 2020
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
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
The directed homotopy hypothesis
J Dubut, E Goubault, J Goubault-Larrecq
Proceedings of the 25th Annual EACSL Conference on Computer Science Logic …, 2016
Complete non-orders and fixed points
A Yamada, J Dubut
10th International Conference on Interactive Theorem Proving (ITP 2019), 2019
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
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
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
Bisimilarity of diagrams
J Dubut
International Conference on Relational and Algebraic Methods in Computer …, 2020
Goal-Aware RSS for Complex Scenarios via Program Logic
I Hasuo, C Eberhart, J Haydon, J Dubut, B Bohrer, T Kobayashi, ...
IEEE Transactions on Intelligent Vehicles, 2022
Fixed Points Theorems for Non-Transitive Relations
A Yamada, J Dubut
Logical Methods in Computer Science 18, 2022
The system can't perform the operation now. Try again later.
Articles 1–20