Outreach

Temporal-Logic-Based Educational Game

Dr. Xu has developed an educational game called "Guess Path" which is modified from the popular game "Guess Who". 

The game begins with the Dr. Xu presenting a map featuring various landmarks and 20 paths of the same length. Initially, Dr. Xu will introduce the fundamentals of temporal logic to the students. During each round, a player can pose a question in the form of temporal logic, such as "Does the path eventually cross the river in the first 15 time steps and whenever it crosses the river it enters the park in the next 5 time steps?" With a simple "yes or no" response from the Dr. Xu, all students can eliminate paths that are inconsistent with the answer. The game concludes when a student successfully guesses the correct path.  By engaging in this game (e.g., during outreach activities), participants can develop a better understanding of temporal logic and effective temporal reasoning for sequential decision-making.

K-12 Students Outreach

Dr. Xu has extensive teaching experience with high-school students. He plans to regularly organize seminars about AI-based CPS (at least twice a year) to local high schools in the Phoenix and Tempe Union High School Districts targeting at least 100 students each time. He also participates in campus-wide activities for promoting K-12 outreach, including ASU's Hispanic Mother-Daughter Program which is an early-outreach middle and high school program designed to increase the number of first-generation Arizona students who are prepared to enroll at ASU through direct family involvement, and GEAR Day which hosts grade-specific engineering sessions and activities for K12 students.

AI-Assisted Adaptive and Interactive Teaching

Dr. Xu has been active in developing AI-assisted learning and teaching strategies for improving adaptive and interactive education. Taking chess as an example for sequential decision-making. When instructing a student in a complex task like chess, it is crucial to provide tailored instructions based on the student's level of knowledge. We focus on teaching basic moves to a beginner while introducing high-level principles or strategies to a student with advanced knowledge. A basic move could be "move the rook from square a1 to square d1", while a high-level strategy could be "in the mid-game, ensure that the two rooks are always connected for at least one move within every two consecutive moves".