Yongmai Liu (liu-yo)

Contributi a Philosophie.ch

Bibliography

Liu, Yongmai. 2002. “A Hoare-Style Proof System for Robot Programs.” in AAAI-02. Proceedings of the Eighteenth National Conference on Artificial Intelligence, edited by Rina Dechter, Richard S. Sutton, and Michael J. Kearns. Menlo Park, California: The AAAI Press.