engine/io.github.moonlightsuite.moonlight.statistics

Package-level declarations

Types

Link copied to clipboard
public class SignalStatistics<T extends SpatialTemporalSignal<? extends Object>>
SignalStatistics is an auxiliary class that is used by the StatisticalModelChecker to record stats about the monitoring process and then return them in some readable way.
Link copied to clipboard
public class StatisticalModelChecker<S, T, R>
The StatisticalModelChecker is a class for evaluating a property over multiple trajectories and determining the probability of satisfying it.