Işıl Dillig, a professor in the Department of Computer Science at The University of Texas at Austin, earned the 2025 Robin ...

This web page provides supplementary material to the following paper: SCRAM: Scalable Collision-avoiding Role Assignment with Minimal-makespan for Formational Positioning Patrick MacAlpine, Eric Price ...

Cmodels is a system that computes answer sets for either disjunctive logic programs or logic programs containing choice rules. Answer set solver Cmodels uses SAT solvers as a search engine for ...

NOTE: If you intend to obtain an incremental release (e.g. 2.9.4 as opposed to 2.9), please see the ACL2 News for instructions. Otherwise, continue reading here. A collection of books (ACL2 input ...

Generative modeling: This is the case when π 1 is an empirically observed unknown distribution (of e.g., images), and π 0 an elementary distribution, such as the standard Gaussian distribution. We are ...

Research: I am particularly interested in physical simulation, particularly of thin, elastic materials like cloth, hair, and paper, as they deform and collide; geometry processing and design, using ...

BibTeX Entry @TechReport {AI100, author="Peter Stone and Rodney Brooks and Erik Brynjolfsson and Ryan Calo and Oren Etzioni and Greg Hager and Julia Hirschberg and Shivaram Kalyanakrishnan and Ece ...

Transfer Learning for Reinforcement Learning on a Physical Robot Transfer Learning for Reinforcement Learning on a Physical Robot. Samuel Barrett, Matt E. Taylor, and Peter Stone. In Ninth ...

Grounded Action Transformation for Robot Learning in Simulation Grounded Action Transformation for Robot Learning in Simulation. Josiah Hanna and Peter Stone. In Proceedings of the 31st AAAI ...

To Teach or not to Teach? Decision Making Under Uncertainty in Ad Hoc Teams To Teach or not to Teach? Decision Making Under Uncertainty in Ad Hoc Teams. Peter Stone and Sarit Kraus. In The Ninth ...

Reasoning about Hypothetical Agent Behaviours and their Parameters Reasoning about Hypothetical Agent Behaviours and their Parameters. Stefano Albrecht and Peter Stone. In Proceedings of the 16th ...

Minimum Coverage Sets for Training Robust Ad Hoc Teamwork Agents Minimum Coverage Sets for Training Robust Ad Hoc Teamwork Agents. Arrasy Rahman, Jiaxun Cui, and Peter Stone. In AAAI, February 2024.