StatisticalModelChecker
public void StatisticalModelChecker(SpatialTemporalMonitor<S, T, R> propertyMonitor, Collection<? extends SpatialTemporalSignal<T>> trajectorySamples, LocationService<Double, S> locationService)
Instantiating a Statistical Model Checker requires the following:
Parameters
propertyMonitor
a monitor for the property of interest
trajectorySamples
a Collection of trajectories to analyze
locationService
a location service for the space model of interest