specless.synthesis.RLynthesisAlgorithm

class specless.synthesis.RLynthesisAlgorithm(rlalgorithm)[source]

Bases: SynthesisAlgorithm

Reinforcement Algorithm based synthesis algorithm

Methods

synthesize

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

Synthesizes a PolicyStrategy in an env 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:

NotImplementedError – If the method is not implemented in a subclass.