Sekar R Lin Y J
Ramakrishnan   C
Modeling techniques for evolving dis tributed applications  In Proceedings of Formal Description Techniques (FORTE)
Berne Switzerland p Shoham Y
Tennenholz   M
On social laws for artificial agent societies Off line design   Artificial Intelligence  73 (1-2)
Sikorski R
Boolean Algebras  New York  NY  Springer Verlag Sokolsky O
Smolka S
Incremental model checking in the modal mu calculus In Proceedings of Computer-Aided Verification (CAV) pp Stanford CA
Gordon D
Using artificial physics to control agents In Proceedings Spears W
of the IEEE International Conference on Information, Intelligence, and Systems  pp Washington  D C
Tennenholtz   M
Moses Y
On cooperation in a multi entity model  In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence  pp Tzeng W
Learning probabilistic automata and markov chains via queries Machine Learning 8 Vardi M
Wolper P
An automata theoretic approach to automatic program verification In Proceedings of the First Annual Symposium on Logic in Computer Science (LICS) pp Cambridge  MA
Weld D
Etzioni   O
The first law of robotics  In Proceedings of the Twelfth National Conference on Artificial Intelligence  pp Seattle WA