specless.synthesis.ProductGraphSynthesisAlgorithm

class specless.synthesis.ProductGraphSynthesisAlgorithm[source]

Bases: SynthesisAlgorithm

Product Graph based synthesis algorithm

Methods

synthesize

Synthesizes a MemorylessStrategy in an env given the specification.
synthesize(env: Env, specification: Specification, *args, **kwargs) → Strategy[source]

Synthesizes a MemorylessStrategy in an env given the specification.

Synthesize a MemorylessStrategy in an environment given the specification.

Parameters:

  • env (gym.Env) – The environment in which to synthesize the strategy.

  • specification (Specification) – The specification for the strategy.

Returns:

The synthesized strategy.

Return type:

Strategy

Raises:

Exception – If the environment is not wrapped by MiniGridTransitionSystemWrapper or if the specification is not of type DFA or PDFA.