Multi-Objective Optimization in Sequential Decision Making
Team
Tools
MultiGain2.0
MultiGain2.0 is a tool for policy synthesis under multiple mean-payoff, LTL and steady-state constraints
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 |