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 ...

The ACL2 Sedan (ACL2s) is an Eclipse-based IDE for ACL2 that is distributed with pre-certified books and pre-built binaries. If you use an alternative development environment (such as Emacs), you can ...

Fig.1 - Rectified flow learns neural ODEs with straight trajectories for both generating (up two rows) and transferring (lower two rows) data, with a very small number N of Euler steps (even a single ...

Teaching: I teach honors Computer Graphics, and a Physical Simulation graduate elective, every spring. See the course page for more details. Prospective Students: I am not actively looking to expand ...

Artificial Intelligence and Life in 2030. Peter Stone, Rodney Brooks, Erik Brynjolfsson, Ryan Calo, Oren Etzioni, Greg Hager, Julia Hirschberg, Shivaram Kalyanakrishnan, Ece Kamar, Sarit Kraus, Kevin ...

Towards Collaborative and Adversarial Learning: A Case Study in Robotic Soccer Towards Collaborative and Adversarial Learning: A Case Study in Robotic Soccer. Peter Stone and Manuela Veloso.

Current approaches to learning cooperative multi-agent behaviors assumerelatively restrictive settings. In standard fully cooperative multi-agentreinforcement learning, the learning algorithm controls ...

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 ...

TAMER: Training an Agent Manually via Evaluative Reinforcement TAMER: Training an Agent Manually via Evaluative Reinforcement. W. Bradley Knox and Peter Stone. In IEEE 7th International Conference on ...

Telemoma: A Modular and Versatile Teleoperation System for Mobile Manipulation Telemoma: A Modular and Versatile Teleoperation System for Mobile Manipulation. Shivin Dass, Wensi Ai, Yuqian Jiang, ...