( en | de | ru )

 

Disambiguation of "Lefaucheux, Engel"

Author of the publication

copydeleteadd this publication to your clipboard
Foundation of Diagnosis and Predictability in Probabilistic Systems.

, , and . FSTTCS, volume 29 of LIPIcs, page 417-429. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)

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.

Günter Engel

Herbert Engel

Knut Engel

Gerhard Engel

Wilfried Engel

 

Other publications of authors with the same name

Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set., , , , and . MFCS, volume 241 of LIPIcs, page 39:1-39:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Probabilistic Disclosure: Maximisation vs. Minimisation., , and . FSTTCS, volume 93 of LIPIcs, page 13:1-13:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Diagnosability of repairable faults., , , and . Discrete Event Dynamic Systems, 28 (2): 183-213 (2018)On Positivity and Minimality for Second-Order Holonomic Sequences., , , , , , , and . CoRR, (2020)Diagnosability of repairable faults., , , and . WODES, page 230-236. IEEE, (2016)Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications., , , , , , , , and . CONCUR, volume 243 of LIPIcs, page 10:1-10:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis., , and . Petri Nets, volume 10877 of Lecture Notes in Computer Science, page 164-183. Springer, (2018)Controlling information in Probabilistic Systems. (Le contrôle de l'information dans les systèmes probabilistes).. University of Rennes 1, France, (2018)Diagnosis and Degradation Control for Probabilistic Systems., , and . Discret. Event Dyn. Syst., 30 (4): 695-723 (2020)What's decidable about linear loops?, , , , , , and . Proc. ACM Program. Lang., 6 (POPL): 1-25 (2022)