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

[Vassilis Tsotras]

Reminder about the seminar tomorrow at noon in the MRB seminar room. Please
register with the link below if you plan to attend.

Sincerely,
V. Tsotras
--------------------------

On Mon, Nov 10, 2025 at 1:46 PM Vassilis Tsotras <vassilis.tsotras at ucr.edu>
wrote:

> 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/20251113/806b2e01/attachment.htm>