cvb.acronym: OVERLAY 2022
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-3311.zip
cvb.ceurpubdate: '2022-12-28'
cvb.city: Udine
cvb.cityWikidataId: Q2790
cvb.colocated: AIxIA 2022
cvb.country: Italy
cvb.countryWikidataId: Q38
cvb.dateFrom: '2022-11-28'
cvb.dateTo: '2022-11-28'
cvb.desc: '?'
cvb.editors: Luca Geatti, Guido Sciavicco, Alessandro Umbrico
cvb.fromLine: 6604
cvb.h1: OVERLAY 2022 4th Workshop on Artificial Intelligence and Formal Verification,
  Logic, Automata, and Synthesis
cvb.h3: Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and
  Formal Verification, Logic, Automata, and Synthesis hosted by the 21st International
  Conference of the Italian Association for Artificial Intelligence (AIxIA 2022)
cvb.homepage: https://overlay.uniud.it/workshop/2022
cvb.loc_city: Udine
cvb.loc_country: Italy
cvb.loc_days: '28'
cvb.loc_locs: null
cvb.loc_month: November
cvb.loc_other: null
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: Udine, Italy, November 28, 2022
cvb.number: 3311
cvb.pubDate: '2022-12-28T00:00:00'
cvb.published: '2022-12-28'
cvb.seealso: "Vol-2987\u21F9Vol-2785\u21F9Vol-2509"
cvb.submittedBy: Luca Geatti, Nicola Gigante
cvb.tdtitle: Proceedings of the 4th Workshop on Artificial Intelligence and Formal
  Verification, Logic, Automata, and Synthesis (OVERLAY 2022), Udine, Italy, November
  28, 2022.
cvb.title: Short Paper Proceedings of the 4th Workshop on Artificial Intelligence
  and Formal Verification, Logic, Automata, and Synthesis
cvb.toLine: 6629
cvb.url: http://ceur-ws.org/Vol-3311/
cvb.urn: urn:nbn:de:0074-3311-3
cvb.urn_check_digit: 3
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: Artificial Intelligence and Formal Verification, Logic, Automata, and
  Synthesis 2022
cvb.voltitle: 4th Workshop on Artificial Intelligence and Formal Verification, Logic,
  Automata, and Synthesis
cvb.volume_number: Vol-3311
cvb.year: '2022'
spt.acronym: OVERLAY 2022
spt.date: '2022-12-28'
spt.dblp: conf/aiia/2022overlay
spt.description: Proceedings of OVERLAY 2022 workshop
spt.html_url: /Vol-3311.html
spt.k10plus: '1837746672'
spt.number: 3311
spt.title: Short Paper Proceedings of the 4th Workshop on Artificial Intelligence
  and Formal Verification, Logic, Automata, and Synthesis
spt.url: http://ceur-ws.org/Vol-3311/
spt.urn: urn:nbn:de:0074-3311-3
spt.wikidataid: Q115923667
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-3311-3
wd.Volume: null
wd.dblpEventId: ''
wd.dblpProceedingsId: conf/aiia/2022overlay
wd.described_at_URL: http://ceur-ws.org/Vol-3311/
wd.event: http://www.wikidata.org/entity/Q115923668
wd.eventLabel: 4th Workshop on Artificial Intelligence and Formal Verification, Logic,
  Automata, and Synthesis
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-3311/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q115923667
wd.itemDescription: Proceedings of OVERLAY 2022 workshop
wd.itemLabel: Short Paper Proceedings of the 4th Workshop on Artificial Intelligence
  and Formal Verification, Logic, Automata, and Synthesis
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: '1837746672'
wd.publication_date: '2022-12-28T00:00:00'
wd.sVolume: 3311
wd.short_name: OVERLAY 2022
wd.title: Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and
  Formal Verification, Logic, Automata, and Synthesis
