Author of the publication

Porous Invariants.

, , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 172-194. Springer, (2021)

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.

 

Other publications of authors with the same name

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)Controlling information in Probabilistic Systems. (Le contrôle de l'information dans les systèmes probabilistes).. University of Rennes 1, France, (2018)Model Checking Linear Dynamical Systems under Floating-point Rounding., , , and . TACAS (1), volume 13993 of Lecture Notes in Computer Science, page 47-65. Springer, (2023)Expiring opacity problems in parametric timed automata., , and . ICECCS, page 89-98. IEEE, (2023)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)Probabilistic Disclosure: Maximisation vs. Minimisation., , and . FSTTCS, volume 93 of LIPIcs, page 13:1-13:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)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)The Bright Side of Timed Opacity., , and . CoRR, (2024)strategFTO: Untimed Control for Timed Opacity., , , and . FTSCS, page 27-33. ACM, (2022)