Alexandros Evangelidis

13 papers B 3Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 — conf
Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning.
SEAMS@ICSE
Gricel Vázquez, Alexandros Evangelidis, Sepeedeh Shahbeigi, Simos Gerasimou
2025 J jnl
Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning.
CoRR
Gricel Vázquez, Alexandros Evangelidis, Sepeedeh Shahbeigi, Simos Gerasimou
2025 J jnl
Efficient Strategy Synthesis for MDPs via Hierarchical Block Decomposition.
CoRR
Alexandros Evangelidis, Gricel Vázquez, Simos Gerasimou
2024 — conf
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱.
HSCC
Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel
2024 — conf
Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱.
HSCC
Severin Bals, Alexandros Evangelidis, Jan Kretínský, Jakob Waibel
2023 J jnl
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints.
CoRR
Severin Bals, Alexandros Evangelidis, Kush Grover, Jan Kretínský, Jakob Waibel
2022 B conf
Optimistic and Topological Value Iteration for Simple Stochastic Games.
ATVA
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger
2022 J jnl
Optimistic and Topological Value Iteration for Simple Stochastic Games.
CoRR
Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger
2021 J jnl
Quantitative verification of Kalman filters.
Formal Aspects Comput.
Alexandros Evangelidis, David Parker
2020 — —
Verified control and estimation for cloud computing.
Alexandros Evangelidis
2019 B conf
Quantitative Verification of Numerical Stability for Kalman Filters.
FM
Alexandros Evangelidis, David Parker
2018 J jnl
Performance modelling and verification of cloud-based auto-scaling policies.
Future Gener. Comput. Syst.
Alexandros Evangelidis, David Parker, Rami Bahsoon
2017 B conf
Performance Modelling and Verification of Cloud-based Auto-Scaling Policies.
CCGrid
Alexandros Evangelidis, David Parker, Rami Bahsoon