BibTex format
@inproceedings{Belardinelli:2018,
author = {Belardinelli, F and Lomuscio, A and Murano, A and Rubin, S},
pages = {77--83},
title = {Alternating-time temporal logic on finite traces},
year = {2018}
}
Faculty of Engineering, Department of Computing
Professor of Safe Artificial IntelligenceImperial-XTranslation & Innovation Hub BuildingWhite City Campus