Author of the publication

Model Checking vs. Theorem Proving: A Manifesto.

, and . Artificial and Mathematical Theory of Computation, page 151-176. Academic Press / Elsevier, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Modelling Knowledge and Action in Distributed Systems., and . Concurrency, volume 335 of Lecture Notes in Computer Science, page 18-32. Springer, (1988)Extensive games with possibly unaware players., and . Math. Soc. Sci., (2014)Ambiguous language and common priors., and . Games Econ. Behav., (2015)Lexicographic probability, conditional probability, and nonstandard probability.. Games Econ. Behav., 68 (1): 155-179 (2010)Representation Dependence in Probabilistic Inference., and . IJCAI, page 1853-1861. Morgan Kaufmann, (1995)Degrees of Belief, Random Worlds, and Maximum Entropy.. Discovery Science, volume 1967 of Lecture Notes in Computer Science, page 15-16. Springer, (2000)Knowledge and Probability in Distributed Systems (Abstract).. TAPSOFT, Vol.2, volume 494 of Lecture Notes in Computer Science, page 50-54. Springer, (1991)A Hardware Semantics Based on Temporal Intervals., , and . ICALP, volume 154 of Lecture Notes in Computer Science, page 278-291. Springer, (1983)Complete Axiomatizations for Reasoning About Knowledge and Time, , and . CoRR, (2002)Axiomatizing Causal Reasoning. CoRR, (2000)