LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic.

Akio Nakata, Teruo Higashino, Kenichi Taniguchi

Browse the full FORTE paper archive.