Alexandros Evangelidis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2017–2026
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SEAMS | Mind the Prompt: Self-adaptive Generation of Task Plan Explanations via LLMs. | Gricel Vzquez, Alexandros Evangelidis, Sepeedeh Shahbeigi, Radu Calinescu, Simos Gerasimou |
| 2025 | SEAMS | Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning. | Gricel Vzquez, Alexandros Evangelidis, Sepeedeh Shahbeigi, Simos Gerasimou |
| 2022 | ATVA | Optimistic and Topological Value Iteration for Simple Stochastic Games. | Muqsit Azeem, Alexandros Evangelidis, Jan Kretnsk, Alexander Slivinskiy, Maximilian Weininger |
| 2019 | FM | Quantitative Verification of Numerical Stability for Kalman Filters. | Alexandros Evangelidis, David Parker |
| 2017 | CCGRID | Performance Modelling and Verification of Cloud-based Auto-Scaling Policies. | Alexandros Evangelidis, David Parker, Rami Bahsoon |