Alexandros Evangelidis

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 9

Top Topics

Controller Synthesis

Arrival Process

Top Venues

Future Gener. Comput. Syst.

Publications

Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel
Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. HSCC (2024)
Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. HSCC (2024)
Severin Bals, Alexandros Evangelidis, Kush Grover, Jan Kretinský, Jakob Waibel
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints. CoRR (2023)
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger
Optimistic and Topological Value Iteration for Simple Stochastic Games. ATVA (2022)
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger
Optimistic and Topological Value Iteration for Simple Stochastic Games. CoRR (2022)
Alexandros Evangelidis, David Parker
Quantitative verification of Kalman filters. Formal Aspects Comput. 33 (4-5) (2021)
Alexandros Evangelidis, David Parker
Quantitative Verification of Numerical Stability for Kalman Filters. FM (2019)
Alexandros Evangelidis, David Parker, Rami Bahsoon
Performance modelling and verification of cloud-based auto-scaling policies. Future Gener. Comput. Syst. 87 (2018)
Alexandros Evangelidis, David Parker, Rami Bahsoon
Performance Modelling and Verification of Cloud-based Auto-Scaling Policies. CCGrid (2017)