Abstract: Contribution: This article describes how a peer learning strategy called student-led tutorials (SLTs) can improve student performance in an electromagnetism course (EM). This study provides ...

Abstract: Combining model predictive control (MPC) with control barrier functions (CBFs) is a promising solution for addressing safety-critical control problems in robot navigation scenarios. The ...

We are interested in identifying and enforcing the isolation requirements of a concurrent program, i.e., concurrency control that ensures that the program meets its specification. The thesis of this ...