@inproceedings{DBLP:conf/icaart/CattaFM23,
  author       = {Davide Catta and
                  Angelo Ferrando and
                  Vadim Malvone},
  editor       = {Ana Paula Rocha and
                  Luc Steels and
                  H. Jaap van den Herik},
  title        = {Coalition Alternating-Time Temporal Logic: {A} Logic to Find Good
                  Coalitions to Achieve Strategic Objectives},
  booktitle    = {Agents and Artificial Intelligence - 15th International Conference,
                  {ICAART} 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14546},
  pages        = {72--94},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-55326-4\_4},
  doi          = {10.1007/978-3-031-55326-4\_4},
  timestamp    = {Mon, 25 Mar 2024 20:43:52 +0100},
  biburl       = {https://dblp.org/rec/conf/icaart/CattaFM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"3GgiCBA7TwrE5dbmi","bibbaseid":"catta-ferrando-malvone-coalitionalternatingtimetemporallogicalogictofindgoodcoalitionstoachievestrategicobjectives-2023","author_short":["Catta, D.","Ferrando, A.","Malvone, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Catta"],"suffixes":[]},{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Vadim"],"propositions":[],"lastnames":["Malvone"],"suffixes":[]}],"editor":[{"firstnames":["Ana","Paula"],"propositions":[],"lastnames":["Rocha"],"suffixes":[]},{"firstnames":["Luc"],"propositions":[],"lastnames":["Steels"],"suffixes":[]},{"firstnames":["H.","Jaap"],"propositions":["van","den"],"lastnames":["Herik"],"suffixes":[]}],"title":"Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives","booktitle":"Agents and Artificial Intelligence - 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers","series":"Lecture Notes in Computer Science","volume":"14546","pages":"72–94","publisher":"Springer","year":"2023","url":"https://doi.org/10.1007/978-3-031-55326-4\\_4","doi":"10.1007/978-3-031-55326-4_4","timestamp":"Mon, 25 Mar 2024 20:43:52 +0100","biburl":"https://dblp.org/rec/conf/icaart/CattaFM23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icaart/CattaFM23,\n author = {Davide Catta and\n Angelo Ferrando and\n Vadim Malvone},\n editor = {Ana Paula Rocha and\n Luc Steels and\n H. Jaap van den Herik},\n title = {Coalition Alternating-Time Temporal Logic: {A} Logic to Find Good\n Coalitions to Achieve Strategic Objectives},\n booktitle = {Agents and Artificial Intelligence - 15th International Conference,\n {ICAART} 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected\n Papers},\n series = {Lecture Notes in Computer Science},\n volume = {14546},\n pages = {72--94},\n publisher = {Springer},\n year = {2023},\n url = {https://doi.org/10.1007/978-3-031-55326-4\\_4},\n doi = {10.1007/978-3-031-55326-4\\_4},\n timestamp = {Mon, 25 Mar 2024 20:43:52 +0100},\n biburl = {https://dblp.org/rec/conf/icaart/CattaFM23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Catta, D.","Ferrando, A.","Malvone, V."],"editor_short":["Rocha, A. P.","Steels, L.","van den Herik, H. J."],"key":"DBLP:conf/icaart/CattaFM23","id":"DBLP:conf/icaart/CattaFM23","bibbaseid":"catta-ferrando-malvone-coalitionalternatingtimetemporallogicalogictofindgoodcoalitionstoachievestrategicobjectives-2023","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-55326-4\\_4"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/134/9527.bib","dataSources":["jkPac6coMCnfPS9v6","DemJHAtxwifL2qfuu","R5o3TG54ojRn5EMT4","ZEMwcoMYSZFYWJajW","GpdwcjP3cDneQaTbF","N94NEfdRnTcyXcg5P","Mt3To6SuEDqqAnZki","yDhN9JGJxcG56DJKw","5iJsrxNL2p3x5acur"],"keywords":[],"search_terms":["coalition","alternating","time","temporal","logic","logic","find","good","coalitions","achieve","strategic","objectives","catta","ferrando","malvone"],"title":"Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives","year":2023}