Automating Reasoning about Mechanical Devices

Leo Joskowicz

Our long term research goal is automating various aspects of reasoning about mechanical devices. Our aim is to develop computational tools to assist in the analysis, simulation, design, validation, and cataloging of devices such as door locks, brakes, and transmissions.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.