MultiGain2.0
MultiGain2.0 is a tool for policy synthesis under multiple mean-payoff, LTL and steady-state constraints You can find the code on Zenodo and the first and second paper on arxiv.
Team
Research Area
Publications
|
2024 |
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints\unicode10033
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024 |