5 citations · 12 across the 14 of their papers we have counts for
Showing 2003Show all
2 papers · 1 filter
cs.AI2003
A logic for reasoning about upper probabilities
Joseph Y. Halpern, Riccardo Pucella
We present a propositional logic %which can be used to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interv…
cs.CR2003
On the Relationship between Strand Spaces and Multi-Agent Systems
Joseph Y. Halpern, Riccardo Pucella
Strand spaces are a popular framework for the analysis of security protocols. Strand spaces have some similarities to a formalism used successfully to model protocols for distribut…