As a mild-mannered statistics professor, it's not often that I get contacted directly by the CEO of a multi-million-dollar ...

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 ...