Synthesis of Controllers from Interval Temporal Logic Specification

Masahiro Fujita, Shinji Kono. Synthesis of Controllers from Interval Temporal Logic Specification. In ICCD. pages 242-245, 1993.

Abstract

Abstract is missing.