Published February 2024
| Version v5
Software
Open
MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints
- 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
(26.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:c8e2a151e0673974c17a09b4cc3533f7
|
26.9 MB | Preview Download |