Interfacing VerifAI with Dynamic Scenic

Setting up Client/Server Communication

The syntax for setting up a VerifAI falsifier with a dynamic Scenic script is very similar to the setup outlined in Basic Usage. The major difference is that the maximum number of timesteps to run each simulation must be provided as an argument to the falsifier:

falsifier_params = DotMap(
    n_iters=None,
    save_error_table=True,
    save_safe_table=True,
    max_time=60,
)
server_options = DotMap(maxSteps=300, verbosity=0) # maximum number of timesteps to run each simulation.

For an example of using dynamic Scenic with VerifAI, see the examples/multi_objective folder.