Showing cs.AIShow all
2 papers · 1 filter
cs.AI2021
Security Properties as Nested Causal Statements
Matvey Soloviev, Joseph Y. Halpern
Thinking in terms of causality helps us structure how different parts of a system depend on each other, and how interventions on one part of a system may result in changes to other…
cs.AI2020
Information Acquisition Under Resource Limitations in a Noisy Environment
Matvey Soloviev, Joseph Y. Halpern
We introduce a theoretical model of information acquisition under resource limitations in a noisy environment. An agent must guess the truth value of a given Boolean formula af…