Package improvisers

Library for synthesizing Entropic Reactive Control Improvisers for stochastic games.

"""Library for synthesizing Entropic Reactive Control Improvisers for
stochastic games."""

# flake8: noqa
from improvisers.game_graph import *
from improvisers.implicit import *
from improvisers.explicit import *
from improvisers.tabular import *
from improvisers.policy import *

Sub-modules

improvisers.critic

Critic Protocol for GameGraph

improvisers.explicit

Example GameGraph implementation based on dictionary adjacency list.

improvisers.game_graph

Define GameGraph Protocol.

improvisers.implicit

Implicit Timed GameGraph implementation based on Dynamics protocol.

improvisers.policy

Module for synthesizing policies from ERCI instances.

improvisers.tabular

This module contains the tabular Critic implementation.