Search 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  Schloss Dagstuhl - Leibniz Center for Informatics