Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Jérémy Dubut
Map detail
Jérémy Dubut8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJérémy DubutAJérémy DubutResearcherWeighted and Branching Bisimilarities from Generalized Open MapsWWeighted and Branching ...preprint / 2023Bisimilarity of diagramsWBisimilarity of diagramspreprint / 2020A Game-Theoretic Approach to Decision Making for Multiple Vehicles at RoundaboutWA Game-Theoretic Approa...preprint / 2020Relational Differential Dynamic LogicWRelational Differential...preprint / 2020Goal-Aware RSS for Complex Scenarios via Program LogicWGoal-Aware RSS for Comp...preprint / 2022A Coalgebraic View on ReachabilityWA Coalgebraic View on R...preprint / 2020Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman LinearizationWMoment Propagation of D...preprint / 2021
Person7 links

Jérémy Dubut

Researcher