Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/overlay/overlay2023.bht:"
download as .bib file
@proceedings{DBLP:conf/overlay/2023,
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3629},
urn = {urn:nbn:de:0074-3629-8},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/overlay/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/000123,
author = {Thao Dang},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {Formal Design of Cyber-Physical Systems with Learning-Enabled Components},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {1--5},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper1.pdf},
timestamp = {Wed, 07 Feb 2024 16:02:39 +0100},
biburl = {https://dblp.org/rec/conf/overlay/000123.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/AltieroCMPS23,
author = {Francesco Altiero and
Anna Corazza and
Sergio Di Martino and
Adriano Peron and
Luigi Libero Lucio Starace},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {Tree Kernels to Support Formal Methods-based Testing of Evolving Specifications},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {79--84},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper13.pdf},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/overlay/AltieroCMPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/ArtaleGGM23,
author = {Alessandro Artale and
Luca Geatti and
Nicola Gigante and
Andrea Mazzullo},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {A Landscape of First-Order Linear Temporal Logics in Infinite-State
Verification and Temporal Ontologies},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {85--92},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper14.pdf},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/overlay/ArtaleGGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/ChahokiRAM23,
author = {Atefeh Zareh Chahoki and
Marco Roveri and
Daniel Amyot and
John Mylopoulos},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {55--60},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper9.pdf},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/overlay/ChahokiRAM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/Chiariello23,
author = {Francesco Chiariello},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {Automata-Based Temporal Reasoning in Answer Set Programming with Application
to Process Mining},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {37--42},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper6.pdf},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/overlay/Chiariello23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/Favorito23,
author = {Marco Favorito},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {Forward LTLf Synthesis: {DPLL} At Work},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {67--72},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper11.pdf},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/overlay/Favorito23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/GeattiMS23,
author = {Luca Geatti and
Angelo Montanari and
Nicola Saccomanno},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {Towards Machine Learning Enhanced {LTL} Monitoring},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {13--19},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper3.pdf},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/overlay/GeattiMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/GiacomoFP23,
author = {Giuseppe De Giacomo and
Marco Favorito and
Fabio Patrizi},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {Clock Specifications for Temporal Tasks in Planning and Learning},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {93--98},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper15.pdf},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/overlay/GiacomoFP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/GiacomoFS23,
author = {Giuseppe De Giacomo and
Marco Favorito and
Luciana Silo},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {Composition of Nondeterministic Services for LTLf Task Specification},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {73--77},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper12.pdf},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/overlay/GiacomoFS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/GiorginiMRR23,
author = {Paolo Giorgini and
Andrea Mazzullo and
Marco Robol and
Marco Roveri},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {Towards Large Language Model Architectures for Knowledge Acquisition
and Strategy Synthesis},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {21--29},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper4.pdf},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/overlay/GiorginiMRR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/KeesSMFKH23,
author = {Yannick Kees and
Gerald Sauter and
Ryan Mut and
Benedikt Franke and
Frank K{\"{o}}ster and
Sven Hallerbach},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {ODD-Based Health Monitoring and Predictive Maintenance of Degrading
Vehicle Functionality},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {31--36},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper5.pdf},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/overlay/KeesSMFKH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/OlivieriP23,
author = {Luca Olivieri and
Luca Pasetto},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {Towards Compliance of Smart Contracts with the European Union Data
Act},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {61--66},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper10.pdf},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/overlay/OlivieriP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/PagliariniPRSS23,
author = {Giovanni Pagliarini and
Andrea Paradiso and
Sasha Rubin and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {49--53},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper8.pdf},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/overlay/PagliariniPRSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/SalzerAL23,
author = {Marco S{\"{a}}lzer and
Eric Alsmann and
Martin Lange},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {On Challenges and Opportunities in the Translation of Deep Neural
Networks into Finite Automata},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {7--11},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper2.pdf},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/overlay/SalzerAL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/Sciavicco23,
author = {Guido Sciavicco},
editor = {Andrea Brunello and
Alessandro Gianola and
Fabio Mogavero},
title = {A First-Order Interval Temporal Logic for Adjacent Variables Temporal
Data},
booktitle = {Short Paper Proceedings of the 5th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 22nd International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3629},
pages = {43--47},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3629/paper7.pdf},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/overlay/Sciavicco23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-01 06:38 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
