9 citations · 11 across the 2 of their papers we have counts for
1 paper · 1 filter
Francis C. Chu, Joseph Y. Halpern
We argue that the tools of decision theory need to be taken more seriously in the specification and analysis of systems. We illustrate this by considering a simple problem involvin…