Fault tolerant mechanism design
- Ryan Porter
- Amir Ronen
- et al.
- 2008
- Artificial Intelligence
Publications
3 results for Yoav Shoham
A Propositional Modal Logic of Time Intervals
- Joseph Y. Halpern
- Yoav Shoham
- 1991
- Journal of the ACM
PROPOSITIONAL MODAL LOGIC OF TIME INTERVALS.
- Joseph Y. Halpern
- Yoav Shoham
- 1986
- LICS 1986