Alexandros Evangelidis

According to our database, Alexandros Evangelidis authored at least 14 papers between 2018 and 2025.

Collaborative distances:

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

2025

Efficient Strategy Synthesis for MDPs via Hierarchical Block Decomposition.

Alexandros Evangelidis, Gricel Vázquez, Simos Gerasimou

CoRR, June, 2025

Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning.

Gricel Vázquez, Alexandros Evangelidis, Sepeedeh Shahbeigi, Simos Gerasimou

Proceedings of the 20th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2025

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

Dataset, February, 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

Dataset, May, 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

Dataset, May, 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

Dataset, May, 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