| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 434301 | Science of Computer Programming | 2013 | 16 Pages |
Abstract
We present a weakest precondition calculus for belief updates in a high-level agent specification language. The weakest precondition calculus supports a deductive method which allows us to reason about important safety and leads-to properties of the semantics of agent specifications.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
