( en | de | ru )

 

Disambiguation of "Dubut, Jérémy"

Author of the publication

copydeleteadd this publication to your clipboard
Relational Differential Dynamic Logic.

, , , , , and . CoRR, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jérémy Dubut

Jérémy Planul

Jérémy Huart

Jérémy Milhau

Jérémy Lardon

 

Other publications of authors with the same name

Fixed Points Theorems for Non-Transitive Relations., and . CoRR, (2020)Formalizing Results on Directed Sets., and . Arch. Formal Proofs, (2023)Goal-Aware RSS for Complex Scenarios via Program Logic., , , , , , , , , and 5 other author(s). CoRR, (2022)Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications., , and . ICARCV, page 548-554. IEEE, (2020)Bisimilarity of Diagrams.. RAMiCS, volume 12062 of Lecture Notes in Computer Science, page 65-81. Springer, (2020)Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis., , , , and . CoRR, (2022)Logic for Timed Agent Network Topologies., , , , and . CDC, page 2870-2877. IEEE, (2022)Formalizing Results on Directed Sets in Isabelle/HOL (Proof Pearl)., and . ITP, volume 268 of LIPIcs, page 34:1-34:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Relational differential dynamic logic: poster abstract., , , , , and . HSCC, page 284-285. ACM, (2019)Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization., , , , and . CoRR, (2019)