Neurons in brains use timing and synchronization in the way that they compute, so we built a model that does the same.

We propose a provable safe RL approach with end-to-end safety guarantee.