Representation of Knowledge and Uncertainty in Temporal Logic LTL with Since on Frames Z of Integer Numbers.

Vladimir V. Rybakov

Browse the full KES paper archive.