\DeclareAcronym{sl}{
  short = SL,
  long  = Subjective Logic
}

\DeclareAcronym{3vsl}{
  short = 3VSL,
  long  = Three-Valued Subjective Logic
}

\DeclareAcronym{dst}{
  short = DST,
  long  = Dempster-Shafer Theory
}

\DeclareAcronym{bpdf}{
  short = Beta PDF,
  long  = Beta Probability Density Function
}

\DeclareAcronym{dpdf}{
  short = Dirichlet PDF,
  long  = Dirichlet Probability Density Function
}

\DeclareAcronym{stl}{
  short = STL,
  long  = Signal Temporal Logic
}

\DeclareAcronym{cpss}{
  short = CPSs,
  long  = Cyber-Physical Systems
}

\DeclareAcronym{scs}{
  short = SCS,
  long  = Safety Critical Systems
}

\DeclareAcronym{cpu}{
  short = CPU,
  long  = Central Processing Unit
}

\DeclareAcronym{mad}{
  short = MAD,
  long  = Machine Activity Detector
}

\DeclareAcronym{iot}{
  short = IoT,
  long  = the Internet of Things
}

\DeclareAcronym{tca}{
  short = TCA,
  long  = Trust Calibration Actions
}