output
20082026
most citedProving Differential Privacy via Probabilistic Couplings

98 citations

researchers with a paper here
collaborating institutions
Showing 2020 · cs.LOShow all

2 papers · 2 filters

cs.LO2020★ 33 cited

Justifications for Goal-Directed Constraint Answer Set Programming

Joaquín Arias, Manuel Carro, Zhuo Chen +1

Ethical and legal concerns make it necessary for programs that may directly influence the life of people (via, e.g., legal or health counseling) to justify in human-understandable…

cs.LO2020★ 66 cited

Verifying Hyperliveness

Norine Coenen, Bernd Finkbeiner, César Sánchez +1

HyperLTL is an extension of linear-time temporal logic for the specification of hyperproperties, i.e., temporal properties that relate multiple computation traces. HyperLTL can exp…