There is a newer version of the record available.

Published May 22, 2023 | Version v3
Software Open

MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints

Creators

  • 1. Technical University of Munich

Description

This is the software artifact containing the first public release of MultiGain2.0, a tool for policy synthesis under multiple mean-payoff, LTL and steady-state constraints.

Files

artifact.zip

Files (13.4 MB)

Name Size Download all
md5:abbe9ff772186e9bf407ac542c55f965
13.4 MB Preview Download