Cited By
View all- Bals SEvangelidis AKřetínský JWaibel J(2024)Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control10.1145/3641513.3652535(1-2)Online publication date: 14-May-2024
- Bals SEvangelidis AKřetínský JWaibel J(2024)MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control10.1145/3641513.3650135(1-7)Online publication date: 14-May-2024