Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/aiia/overlay2022.bht:"
@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} }
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.