Author of the publication

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

Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants., , , , , and . CoRR, (2022)Interpolation synthesis for quadratic polynomial inequalities and combination with EUF., , , , , and . CoRR, (2016)Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations., , , , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 650-669. Springer, (2019)Unbounded-Time Safety Verification of Stochastic Differential Dynamics., , , , and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 327-348. Springer, (2020)Learning One-Clock Timed Automata., , , , and . CoRR, (2019)Computing reachable sets of linear vector fields revisited., , , , and . ECC, page 419-426. IEEE, (2016)NIL: Learning Nonlinear Interpolants., , , , , and . CADE, volume 11716 of Lecture Notes in Computer Science, page 178-196. Springer, (2019)Prodigy - Artifact Evaluation at CAV 2022., , , and . (May 2022)MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification., , , , , , and . ASPLOS (3), page 671-688. ACM, (2024)Lower Bounds for Possibly Divergent Probabilistic Programs., , , , , and . CoRR, (2023)