cvb.authors: Angelo Ferrando,Vadim Malvone
cvb.fail: null
cvb.id: Vol-3883/paper4_SPIRIT_Ferrando
cvb.pages: null
cvb.pagesFrom: null
cvb.pagesTo: null
cvb.pdf_name: paper4_SPIRIT_Ferrando.pdf
cvb.position: null
cvb.title: Towards a Compositional and User-friendly Tool for Multi-Agent Systems
  Verification (short paper)
cvb.type: null
cvb.vol_number: '3883'
dblp.authors:
- dblp_author_id: https://dblp.org/pid/134/9527
  gnd_id: null
  label: Angelo Ferrando 0001
  orcid_id: 0000-0002-8711-4670
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/169/0382
  gnd_id: null
  label: Vadim Malvone
  orcid_id: 0000-0001-6138-4229
  wikidata_id: null
dblp.dblp_proceeding_id: https://dblp.org/rec/conf/rcra/2024
dblp.dblp_publication_id: https://dblp.org/rec/conf/rcra/0001M24
dblp.pdf_id: Vol-3883/paper4_SPIRIT_Ferrando
dblp.title: Towards a Compositional and User-friendly Tool for Multi-Agent Systems
  Verification (short paper).
dblp.volume_number: 3883
spt.description: null
spt.html_url: /Vol-3883/paper4_SPIRIT_Ferrando.html
spt.id: Vol-3883/paper4_SPIRIT_Ferrando
spt.pdfUrl: !!python/object/new:linkml_runtime.utils.metamodelcore.URI
  args:
  - https://ceur-ws.org/Vol-3883/paper4_SPIRIT_Ferrando.pdf
  state:
    _len: null
    _s: null
spt.session: null
spt.title: Towards a Compositional and User-friendly Tool for Multi-Agent Systems
  Verification (short paper)
spt.volume:
  acronym: AI4CC-IPS-RCRA-SPIRIT 2024
  date: '2024-12-24'
  dblp: null
  description: Proceedings of AI4CC-IPS-RCRA-SPIRIT 2024 workshop
  k10plus: null
  number: 3883
  title: Proceedings of the International Workshop on Artificial Intelligence for
    Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on
    Experimental evaluation of algorithms for solving problems with combinatorial
    explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning
    in Italy (AI4CC-IPS-RCRA-SPIRIT 2024)
  url: http://ceur-ws.org/Vol-3883/
  urn: urn:nbn:de:0074-3883-1
  wikidataid: Q131677329
spt.wikidataid: null
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
