Alexandros Evangelidis

According to our database, Alexandros Evangelidis authored at least 8 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱.

Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱.

Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

2023

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints.

Severin Bals, Alexandros Evangelidis, Kush Grover, Jan Kretínský, Jakob Waibel

CoRR, 2023

2022

Optimistic and Topological Value Iteration for Simple Stochastic Games.

Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Quantitative verification of Kalman filters.

Alexandros Evangelidis, David Parker

Formal Aspects Comput., 2021

2020

Verified control and estimation for cloud computing.

Alexandros Evangelidis

PhD thesis, 2020

2019

Quantitative Verification of Numerical Stability for Kalman Filters.

Alexandros Evangelidis, David Parker

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Performance modelling and verification of cloud-based auto-scaling policies.

Alexandros Evangelidis, David Parker, Rami Bahsoon

Future Gener. Comput. Syst., 2018