Depeng Liu

From MaRDI portal
Person:2051762

Available identifiers

zbMath Open liu.depengMaRDI QIDQ2051762

List of research outcomes





PublicationDate of PublicationType
Model checking differentially private properties2023-08-02Paper
Model checking differentially private properties2023-01-05Paper
Verifying Pufferfish privacy in hidden Markov models2022-07-08Paper
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees2021-11-25Paper
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees2020-08-05Paper

Research outcomes over time

This page was built for person: Depeng Liu

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2051762&oldid=6640049"
Powered by MediaWiki