An action language is a language for specifying state transition systems, and is commonly used to create formal models of the effects of actions on the world. Action languages are commonly used in the ...

The Robot Perception and Learning Lab launched DexMimicGen, a new data generation system to improve training for humanoid ...

The Robot Perception and Learning Lab launched DexMimicGen, a new data generation system to improve training for humanoid ...

Course web page: http://www.cs.utexas.edu/~ecprice/courses/randomized/fa23/ ...

Four undergraduate computer science researchers were recognized by the Computer Research Association in the 2025 CRA ...

Our students and faculty are changing the world through their contributions to computing education, research, and industry. These awards received by members of the UT Computer Science community make ...

E. Allen Emerson has a longstanding interest in formal methods for establishing program correctness. This was inspired in part by reading in the mid-1970's a CACM paper by Tony Hoare "Proof of Program ...

I'm an assistant professor in the Computer Science Department and the Institute for Computational Engineering and Sciences (ICES) at the University of Texas at Austin. I was a PhD student at the ...

This is a survey of the theory of logic programs with classical negation and negation as failure. The semantics of this class of programs is based on the notion of an answer set. The operation of ...