4 citations · 5 across the 5 of their papers we have counts for
3 papers · 1 filter
Mind the Prompt: Self-adaptive Generation of Task Plan Explanations via LLMs
Gricel Vázquez, Alexandros Evangelidis, Sepeedeh Shahbeigi +2
Integrating Large Language Models (LLMs) into complex software systems enables the generation of human-understandable explanations of opaque AI processes, such as automated task pl…
Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adaptive Refinement
Alexandros Evangelidis, Gricel Vázquez, Simos Gerasimou
Software-intensive systems, such as software product lines and robotics, utilise Markov decision processes (MDPs) to capture uncertainty and analyse sequential decision-making prob…
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints
Severin Bals, Alexandros Evangelidis, Jan Křetínský +1
We present MULTIGAIN 2.0, a major extension to the controller synthesis tool MULTIGAIN, built on top of the probabilistic model checker PRISM. This new version extends MULTIGAIN's…