In this article, we consider partially observable timed automata endowed with a single clock. A time interval is associated with each transition specifying at which clock values it may occur. In ...

In this paper we experimentally realize high-order photonic topological insulator as a two-dimensional triangular distorted Kagome lattice that supports two types of topological states: 1D topological ...