%0 Conference Paper %1 conf/prima/BelardinelliLMR19 %A Belardinelli, Francesco %A Lomuscio, Alessio %A Murano, Aniello %A Rubin, Sasha %B PRIMA %D 2019 %E Baldoni, Matteo %E Dastani, Mehdi %E Liao, Beishui %E Sakurai, Yuko %E Zalila-Wenkstern, Rym %I Springer %K dblp %P 469-477 %T Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. %U http://dblp.uni-trier.de/db/conf/prima/prima2019.html#BelardinelliLMR19 %V 11873 %@ 978-3-030-33792-6

@inproceedings{conf/prima/BelardinelliLMR19, added-at = {2022-06-23T00:00:00.000+0200}, author = {Belardinelli, Francesco and Lomuscio, Alessio and Murano, Aniello and Rubin, Sasha}, biburl = {https://www.bibsonomy.org/bibtex/208475c3657d0f7ea72102f379386f0bf/dblp}, booktitle = {PRIMA}, crossref = {conf/prima/2019}, editor = {Baldoni, Matteo and Dastani, Mehdi and Liao, Beishui and Sakurai, Yuko and Zalila-Wenkstern, Rym}, ee = {https://doi.org/10.1007/978-3-030-33792-6_31}, interhash = {f337a1e44323bf2c102f3272a83fd7c8}, intrahash = {08475c3657d0f7ea72102f379386f0bf}, isbn = {978-3-030-33792-6}, keywords = {dblp}, pages = {469-477}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:41:05.000+0200}, title = {Imperfect Information in Alternating-Time Temporal Logic on Finite Traces.}, url = {http://dblp.uni-trier.de/db/conf/prima/prima2019.html#BelardinelliLMR19}, volume = 11873, year = 2019 }