Skip to content

Synthesis of Controllers from Interval Temporal Logic Specification.

Masahiro Fujita, Shinji Kono

VenueCICCD
Year1993
ProceedingsICCD

Browse the full ICCD paper archive.