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/aiia/overlay2022.bht:"
download as .bib file
@inproceedings{DBLP:conf/aiia/BoingHHMS22,
author = {Benedikt B{\"{o}}ing and
Falk Howar and
Jelle H{\"{u}}ntelmann and
Emmanuel M{\"{u}}ller and
Richard Stewing},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {Neural Network Verification with {DSE}},
booktitle = {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), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {1--6},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BoingHHMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BuriganaFM22,
author = {Alessandro Burigana and
Paolo Felli and
Marco Montali},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {{DELPHIC:} Towards an Efficient Possibility-based Epistemic Planning
Framework},
booktitle = {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), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {33--37},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BuriganaFM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ChevallierWF22,
author = {Mark Chevallier and
Matthew Whyte and
Jacques D. Fleuriot},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {Constrained Training of Neural Networks via Theorem Proving},
booktitle = {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), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {7--12},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/ChevallierWF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/EspositoP22,
author = {Marco Esposito and
Leonardo Picchiami},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {Formal Certification of Surrogate Models for Cyber-Physical Systems
Verification},
booktitle = {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), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {63--71},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/EspositoP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FelliGMRW22,
author = {Paolo Felli and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin and
Sarah Winkler},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {A Modular SMT-based Approach for Data-aware Conformance Checking},
booktitle = {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), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {87--92},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/FelliGMRW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Gianola22,
author = {Alessandro Gianola},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {Uniform Interpolation for the Automated Verification of Data-Aware
Business Processes},
booktitle = {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), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {73--79},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Gianola22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GianolaG22,
author = {Alessandro Gianola and
Nicola Gigante},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {{LTL} Modulo Theories over Finite Traces: modeling, verification,
open questions},
booktitle = {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), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {13--19},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/GianolaG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/HeikBR22,
author = {David Heik and
Fouad Bahrpeyma and
Dirk Reichelt},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {An Application of Reinforcement Learning in Industrial Cyber-Physical
Systems},
booktitle = {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), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {51--55},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/HeikBR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LietoPSZD22,
author = {Antonio Lieto and
Gian Luca Pozzato and
Manuel Striani and
Stefano Zoia and
Rossana Damiano},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {Formal Methods Meet {XAI:} the Tool {DEGARI} 2.0 for Social Inclusion},
booktitle = {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), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {45--50},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/LietoPSZD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MeliMCF22,
author = {Daniele Meli and
Giulio Mazzi and
Alberto Castellini and
Alessandro Farinelli},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {From {POMDP} Executions to Probabilistic Axioms},
booktitle = {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), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {93--98},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/MeliMCF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MilellaPPS22,
author = {Mauro Milella and
Giovanni Pagliarini and
Andrea Paradiso and
Ionel Eduard Stan},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {Multi-Models and Multi-Formulas Finite Model Checking for Modal Logic
Formulas Induction},
booktitle = {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), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {81--85},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/MilellaPPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Mittelmann22,
author = {Munyque Mittelmann},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {Formally Reasoning about Strategies in Mechanisms},
booktitle = {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), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {21--26},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Mittelmann22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/PlambeckF22,
author = {Swantje Plambeck and
G{\"{o}}rschwin Fey},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {Regression Trees for System Models and Prediction},
booktitle = {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), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {57--61},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/PlambeckF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Stranieri22,
author = {Silvia Stranieri},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {Reasoning about Reachability and Concurrency in {DEL} Games},
booktitle = {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), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {39--43},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/Stranieri22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ZavatteriBRV22,
author = {Matteo Zavatteri and
Davide Bresolin and
Romeo Rizzi and
Tiziano Villa},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {Dynamic Controllability of Temporal Networks via Supervisory Control},
booktitle = {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), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {27--31},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/ZavatteriBRV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2022overlay,
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {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), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311},
urn = {urn:nbn:de:0074-3311-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/2022overlay.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-07-04 23:36 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:
