Turing Award Laureate Joseph Sifakis Visits CaoCao AI Innovation Center, Witnesses Launch of Trustworthy AI Research Project for Robotaxi Curbside Operations

Oct 23, 2026

Shanghai, China, October 23, 2026 -- On October 21, Professor Joseph Sifakis, a Turing Award laureate and Chief Scientific Advisor of the CaoCao Mobility AI Innovation Research Center, visited the center for in-depth discussions with CaoCao’s technology team. On the same day, CaoCao launched a research project on Trustworthy Decision-Making and Multi-Agent Coordination for Robotaxi Curbside Operations. Professor Sifakis witnessed the launch and offered valuable recommendations based on his extensive research experience.

Professor Sifakis is one of the pioneers of model checking. He received the 2007 Turing Award for his contributions to the development of model-checking theory and its applications. He has long been engaged in research on complex intelligent systems and Trustworthy Autonomous Systems, areas closely related to the safety and trustworthiness challenges facing Robotaxi operations at scale.

In June this year, Professor Sifakis was formally invited to serve as Chief Scientific Advisor of the CaoCao Mobility AI Innovation Research Center to provide academic guidance for CaoCao’s AI transformation and the development of its autonomous driving technologies. At the 2026 World Artificial Intelligence Conference, he outlined three fundamental principles for trustworthy Robotaxis: Safe by Design, System Coordination, and Runtime Assurance. He also noted that CaoCao’s RoboX ecosystem closely aligns with the systems-engineering principles underlying Trustworthy Autonomous Systems.

Passenger pick-up and drop-off are critical to the Robotaxi experience. This newly launched research project focuses on safety and trustworthiness in this everyday mobility scenario, exploring how the theory of Trustworthy Autonomous Systems can be translated into verifiable engineering methods.

Drawing on 11 years of real-world operating data and experience from CaoCao’s mobility services, the project will examine the conditions under which curbside stopping locations can be used, passenger boarding and alighting paths, vehicle stopping behavior, and system coordination. By exploring methods for cross-validating results from simulation and real-vehicle testing, the project aims to build a body of reusable, scenario-based evidence to support safety validation for the trustworthy transfer of Robotaxi operations across cities and their deployment worldwide.

Contact Info:
Name: Jing Liu
Email: Send Email
Organization: CaoCao Inc.
Website: http://caocao.com.cn

Release ID: 89207090

If you come across any problems, discrepancies, or concerns related to the content contained within this press release that necessitate action or if a press release requires takedown, we strongly encourage you to reach out without delay by contacting [email protected] (it is important to note that this email is the authorized channel for such matters, sending multiple emails to multiple addresses does not necessarily help expedite your request). Our committed team will be readily accessible round-the-clock to address your concerns within 8 hours and take appropriate actions to rectify identified issues or support with press release removals. Ensuring accurate and reliable information remains our unwavering commitment.

More News

Local figure skating competition Halloween Cup goes international

Oct 23, 2026

Local figure skating competition Halloween Cup goes international

For its second year, recreational figure skating competition SM Skating Halloween Cup, hosted several international participants for the first time, making the local contest into an international meet. “So this is the second year we hosted the Halloween Cup. This year, the difference is it's an international competition. The first year that we hosted it we had over 100 participants, but this year almost 180 participants,” explained Nikki Cheng, president of the Philippine Skating Union. More than 180 figure skaters from the Philippines, Mongolia, Thailand, and the United States, participated in the event, which was held from October 16 to 18 at SM Mall of Asia in Pasay City. Wearing various costumes, from Disney princesses to K-pop idols, the young skaters showcased their skating skills and fun routines. For the first, the competition also joins the Ice Skating Institute Asia (ISIAsia) Championship Series. According to the competition, the event was not just a “thrilling Halloween spectacle” but it “champions SM Active's mission to make sports accessible, nurture young talent, and inspire more Filipinos to embrace an active lifestyle”. “We feel that it is very important for its contribution to grassroots development. We see that the sport is continually growing. In this event we get to discover who are the ones that we would bring into the national developmental [program]. This is a recruitment stage for us,” Nikki shared. Check out the photos from this year's event in the gallery below: Love this content? Subscribe to our newsletter for more captivating stories and lifestyle features. Just enter your email here. (https://www.gmanetwork.com/curated)

Letran edges San Sebastian, keeps Stags winless in NCAA

Oct 23, 2026

Letran edges San Sebastian, keeps Stags winless in NCAA

MANILA, Philippines — Colegio de San Juan de Letran denied San Sebastian College-Recoletos a chance to crack into the win column, escaping with a 91-89 victory in the NCAA Season 102 men’s basketball tournament on Friday afternoon at the Filoil EcoOil Centre in San Juan City. The Knights improved to 7-3 and remained atop Group B, while the Golden Stags dropped to 0-10. Unlike their first-round meeting, which Letran dominated 99-62, the Knights were forced to work much harder in the rematch. With Letran leading 86-83 and 1:04 remaining in the game, Vincent Segovia drained a fadeaway jumper and Christian Ricio followed with a layup to give San Sebastian an 87-86 edge. Aaron Buensalida immediately answered with a layup of his own with 38 seconds remaining, and Nathaniel Montecillo converted both free throws to put Letran back in front, 89-87. Niel Castro then tied the game at 89-all with a jumper with seven seconds left. But Letran head coach Allen Ricardo drew up a final play for Jimboy Estrada, who knocked down a jumper with two seconds remaining to seal the 91-89 win. “Of course, during the dying seconds of the game, you go to your go-to guy. I trusted Jimboy and he delivered,” Ricardo said. “We had lapses in the game. San Sebastian also improved its transition threes, and we became a bit lousy. So in those final seconds, we went to Jimboy.” Chad Gammad led Letran with 23 points, five rebounds, and three assists. Buensalida stepped up in the absence of veteran Kevin Santos, finishing with 21 points and six rebounds. Estrada added 14 points, while Froilan Reyes chipped in 13. Caesleyh Bacani paced San Sebastian with 24 points, while John Ynot and Segovia contributed 16 and 13 points, respectively.

YOUR NEWS, OUR NETWORK.

Do you have Great News you want to tell the world?

Be it updates about your business or your community, you can make sure that it’s heard by submitting your story to our network reaching hundreds of news sites across 6 verticals.