Logic for Programming, Artificial Intelligence, and ...
Preview
In International Static Analysis Symposium (SAS '00), volume 1824 of LNCS. Springer Verlag, 2000. Carroll Morgan and Annabelle McIver. A probabilistic temporal calculus based on expectations. In Lindsay Groves and Steve Reeves, editors, ...