Alexandros Evangelidis

According to our database, Alexandros Evangelidis authored at least 15 papers between 2017 and 2026.

Collaborative distances:

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

2026

Mind the Prompt: Self-adaptive Generation of Task Plan Explanations via LLMs.

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

CoRR, April, 2026

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

2017

Performance Modelling and Verification of Cloud-based Auto-Scaling Policies.

Alexandros Evangelidis, David Parker, Rami Bahsoon

Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017