[AI Seminar Series] Seminar by Dr. Xusheng Luo, Friday Nov.14th, 12-1pm, MRB Seminar Room

[Vassilis Tsotras]

The next AI Seminar will be on Friday November 14th, 12:00-1:00pm at the
MRB Seminar Room (1st floor).

*** Pizza and refreshments will be provided ****

To keep track of the number of attendees, please *register* at:
https://www.eventbrite.com/e/ai-seminar-series-tickets-1967767300968

The talk will be given by *Dr. Xusheng Luo*, Robotics Institute, Carnegie
Mellon University

TITLE: Building Assured Autonomy at Scale: Logic Specification, Provable
Control, and Verified Learning


ABSTRACT:
Autonomous systems are rapidly moving from research labs into the real
world, powering drones, self-driving cars, and service robots. Yet, their
widespread adoption hinges not only on performance, but on assurance—the
ability to guarantee that robots do what they are intended to do, safely
and reliably, even under uncertainty. In this talk, I will present my
vision for building assured autonomy at scale.
I will discuss three interconnected thrusts. First, I will introduce new
approaches to task specification based on hierarchical temporal logic,
which enable robots to understand and execute rich, temporally extended,
and user-friendly instructions. Second, I will show how
correct-by-construction control synthesis can generate provably correct
planners and controllers that bridge high-level specifications with
low-level motion constraints. Third, I will present verification methods
for learning-enabled components, such as perception modules, that quantify
safety and reliability in complex environments.
Together, these efforts establish a foundation for autonomous systems that
are expressive, scalable, and rigorously assured—laying the groundwork for
trustworthy deployment in critical applications ranging from manufacturing
to mobility.


Bio:
Dr. Xusheng Luo is a Postdoctoral Fellow at Carnegie Mellon University’s
Robotics Institute, working with Prof. Changliu Liu. He received his Ph.D.
in Mechanical Engineering (Robotics) from Duke University under Prof.
Michael Zavlanos, after earning his B.S. and M.S. in Aerospace Engineering
from the Harbin Institute of Technology. His research advances assured and
scalable autonomy by integrating logic, control, and learning, with the
goal of making AI-enabled robots both capable and dependable. His work has
been published in premier venues including IEEE Transactions on Robotics,
RA-L, ICRA, and RSS, and has been recognized with the ASME DSCD Rising Star
(2025) and NSF CPS Rising Star (2024) awards.

------------------------------------
Sponsored by the RAISE at UCR Institute, the AI Seminar Series presents
speakers working on cutting edge Foundational AI or applying AI in their
research. The goal of these seminars is to inform the UCR community about
current trends in AI research and promote collaborations between faculty in
this emerging field. These seminars are open to interested faculty and
graduate/undergraduate students. Please forward this email to other
colleagues or students in your lab that may be interested. After the seminar a
discussion will follow for questions, open problems, ideas for possible
collaborations etc.

Sincerely,
Vassilis Tsotras
Professor, CSE Department
co-Director, RAISE at UCR Institute

Amit Roy-Chowdhury
Professor, ECE Department
co-Director, RAISE at UCR Institute
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.ucr.edu/pipermail/raise-seminar/attachments/20251110/93b81c0c/attachment.htm>