<div dir="ltr"><div>Reminder about the seminar tomorrow at noon in the MRB seminar room. Please register with the link below if you plan to attend.</div><div><br></div><div>Sincerely,</div><div>V. Tsotras</div><div>--------------------------</div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Mon, Nov 10, 2025 at 1:46 PM Vassilis Tsotras <<a href="mailto:vassilis.tsotras@ucr.edu">vassilis.tsotras@ucr.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div><div>The next AI Seminar will be on Friday November 14th, 12:00-1:00pm at the MRB Seminar Room (1st floor).</div></div><div><br></div><div>*** Pizza and refreshments will be provided ****<br><br>To keep track of the number of attendees, please *register* at:</div><div><a href="https://www.eventbrite.com/e/ai-seminar-series-tickets-1967767300968" target="_blank">https://www.eventbrite.com/e/ai-seminar-series-tickets-1967767300968</a> </div><div><br></div><div>The talk will be given by <b>Dr. Xusheng Luo</b>, Robotics Institute, Carnegie Mellon University<br><br>TITLE: Building Assured Autonomy at Scale: Logic Specification, Provable Control, and Verified Learning</div><div><br></div><div><br></div><div>ABSTRACT: </div><div>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.<br>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.<br>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.<br><br></div><div><br></div><div>Bio:</div><div>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.</div><div><br></div><div>------------------------------------<br>Sponsored by the RAISE@UCR Institute, the <span><span><span>AI</span></span></span> <span><span><span>Seminar</span></span></span> <span><span><span>Series</span></span></span> presents speakers working on cutting edge Foundational <span><span><span>AI</span></span></span> or applying <span><span><span>AI</span></span></span> in their research. The goal of these <span><span><span>seminars</span></span></span> is to inform the UCR community about current trends in <span><span><span>AI</span></span></span> research and promote collaborations between faculty in this emerging field. These <span><span><span>seminars</span></span></span> 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 <span><span><span>seminar</span></span></span> a discussion will follow for questions, open problems, ideas for possible collaborations etc.<br><br>Sincerely,<br>Vassilis Tsotras<br>Professor, CSE Department<br>co-Director, RAISE@UCR Institute<br><br>Amit Roy-Chowdhury<br>Professor, ECE Department<br>co-Director, RAISE@UCR Institute</div></div>
</div></div>
</div>
</div></div>
</div>
</div></div>
</blockquote></div></div>