Profiles

Contents from Reid Simmons on this site

Publications

Formal Verification of Autonomy Models: From Livingstone to SMV. Charles Pecheur, Reid Simmons, Peter Engrand. Agent Technology from a Formal Perspective.