Performance modelling and verification of cloud-based auto-scaling policies
Evangelidis, Alexandros, Parker, David, Bahsoon, Rami
Published in Future generation computer systems (01.10.2018)
Published in Future generation computer systems (01.10.2018)
Get full text
Journal Article
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints
Bals, Severin, Evangelidis, Alexandros, Křetínský, Jan, Waibel, Jakob
Year of Publication 26.05.2023
Year of Publication 26.05.2023
Get full text
Journal Article
Optimistic and Topological Value Iteration for Simple Stochastic Games
Azeem, Muqsit, Evangelidis, Alexandros, Křetínský, Jan, Slivinskiy, Alexander, Weininger, Maximilian
Year of Publication 28.07.2022
Year of Publication 28.07.2022
Get full text
Journal Article