4 citations · 4 across the 3 of their papers we have counts for
3 papers
ATL*AS: An Automata-Theoretic Approach and Tool for the Verification of Strategic Abilities in Multi-Agent Systems
Sofia Garcia de Blas Garcia-Alcalde, Francesco Belardinelli
We present two novel symbolic algorithms for model checking the Alternating-time Temporal Logic ATL*, over both the infinite-trace and the finite-trace semantics. In particular, fo…
Expressive Reward Synthesis with the Runtime Monitoring Language
Daniel Donnelly, Angelo Ferrando, Francesco Belardinelli
A key challenge in reinforcement learning (RL) is reward (mis)specification, whereby imprecisely defined reward functions can result in unintended, possibly harmful, behaviours. In…
Explainable Reinforcement Learning for Formula One Race Strategy
Devin Thomas, Junqi Jiang, Avinash Kori +6
In Formula One, teams compete to develop their cars and achieve the highest possible finishing position in each race. During a race, however, teams are unable to alter the car, so…