Annotated Evidential Linear-time Temporal Logic.

Yotaro Nakayama, Yoshitaka Aoki, Seiki Akama

Browse the full KES paper archive.