E-LIB Suche - Ergebnisse für: Chen, Mingshuai

1

Probabilistic Program Verification via Inductive Synthesis ..:

Batz, Kevin ; Chen, Mingshuai ; Junges, Sebastian...
https://orbit.dtu.dk/en/publications/12fadc93-f6b6-4a4f-81d6-4c7b44a30618. , 2023

Link: https://orbit.dtu.dk/en/..

2

Lower Bounds for Possibly Divergent Probabilistic Programs:

Feng, Shenghua ; Chen, Mingshuai ; Su, Han...
http://arxiv.org/abs/2302.06082. , 2023

Link: http://arxiv.org/abs/230..

3

Lower Bounds for Possibly Divergent Probabilistic Programs:

Feng, Shenghua ; Chen, Mingshuai ; Su, Han...
https://discovery.ucl.ac.uk/id/eprint/10168175/1/3586051.pdf. , 2023

Link: https://discovery.ucl.ac..

4

Exact Probabilistic Inference Using Generating Functions:

Klinkenberg, Lutz ; Winkler, Tobias ; Chen, Mingshuai.
http://arxiv.org/abs/2302.00513. , 2023

Link: http://arxiv.org/abs/230..

5

Exact Bayesian Inference for Loopy Probabilistic Programs:

Klinkenberg, Lutz ; Blumenthal, Christian ; Chen, Mingshuai..
http://arxiv.org/abs/2307.07314. , 2023

Link: http://arxiv.org/abs/230..

6

Probabilistic Program Verification via Inductive Synthesis ..:

Batz, Kevin ; Chen, Mingshuai ; Junges, Sebastian...
info:eu-repo/semantics/altIdentifier/isbn/978-3-031-30821-5. , 2023

Link: https://publications.rwt..

7

Lower Bounds for Possibly Divergent Probabilistic Programs:

Feng, Shenghua ; Chen, Mingshuai ; Su, Han...
info:eu-repo/semantics/altIdentifier/doi/10.18154/RWTH-2023-05232. , 2023

Link: https://publications.rwt..

8

Does a Program Yield the Right Distribution? Verifying Prob..:

Chen, Mingshuai ; Katoen, Joost-Pieter ; Klinkenberg, Lutz.
info:eu-repo/semantics/altIdentifier/isbn/978-3-031-13185-1. , 2022

Link: https://publications.rwt..

9

Prodigy - Artifact Evaluation at CAV 2022:

Chen, Mingshuai ; Katoen, Joost-Pieter ; Klinkenberg, Lutz.
info:eu-repo/grantAgreement/EC/H2020/787914/. , 2022

Link: https://zenodo.org/recor..

10

Does a Program Yield the Right Distribution? Verifying Prob..:

Chen, Mingshuai ; Katoen, Joost-Pieter ; Klinkenberg, Lutz.
http://arxiv.org/abs/2205.01449. , 2022

Link: http://arxiv.org/abs/220..

11

Probabilistic Program Verification via Inductive Synthesis ..:

Batz, Kevin ; Chen, Mingshuai ; Junges, Sebastian...
http://arxiv.org/abs/2205.06152. , 2022

Link: http://arxiv.org/abs/220..

12

Encoding inductive invariants as barrier certificates: synt..:

Wang, Qiuye ; Chen, Mingshuai ; Xue, Bai..
http://arxiv.org/abs/2209.09703. , 2022

Link: http://arxiv.org/abs/220..

13

PA-Boot: A Formally Verified Authentication Protocol for Mu..:

Zhang, Zhuoruo ; Yu, Chenyang ; Huang, He...
http://arxiv.org/abs/2209.07936. , 2022

Link: http://arxiv.org/abs/220..

14

Synthesizing Invariant Barrier Certificates via Difference-..:

Wang, Qiuye ; Chen, Mingshuai ; Xue, Bai..
http://arxiv.org/abs/2105.14311. , 2021

Link: http://arxiv.org/abs/210..

15

Latticed k-Induction with an Application to Probabilistic P..:

Batz, Kevin ; Chen, Mingshuai ; Kaminski, Benjamin L...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-81688-9_25. , 2021

Link: https://hdl.handle.net/2..