ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems Haiping XuSol M. Shatz OriginalPaper Pages: 337 - 365
Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based Animation Thomas EllmanRyan DeakJason Fotinatos OriginalPaper Pages: 367 - 398