Search dblp for Publications

export results for "toc:db/conf/aiia/overlay2019.bht:"

 download as .bib file

@proceedings{DBLP:conf/aiia/2019overlay,
  editor       = {Nicola Gigante and
                  Federico Mari and
                  Andrea Orlandini},
  title        = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
                  Verification, Logic, Automata, and Synthesis, co-located with the
                  18th International Conference of the Italian Association for Artificial
                  Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2509},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2509},
  urn          = {urn:nbn:de:0074-2509-5},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/2019overlay.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/0001MD19,
  author       = {Laura Giordano and
                  Alberto Martelli and
                  Daniele Theseider Dupr{\'{e}}},
  editor       = {Nicola Gigante and
                  Federico Mari and
                  Andrea Orlandini},
  title        = {Verification with Answer Set Programming, Reasoning about Actions
                  and Change, Constraints and Ontologies},
  booktitle    = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
                  Verification, Logic, Automata, and Synthesis, co-located with the
                  18th International Conference of the Italian Association for Artificial
                  Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2509},
  pages        = {41--46},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2509/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/0001MD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AlimguzhinMM19,
  author       = {Vadim Alimguzhin and
                  Federico Mari and
                  Igor Melatti},
  editor       = {Nicola Gigante and
                  Federico Mari and
                  Andrea Orlandini},
  title        = {Control Software Synthesis for Cyber-Physical Systems with {QKS}},
  booktitle    = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
                  Verification, Logic, Automata, and Synthesis, co-located with the
                  18th International Conference of the Italian Association for Artificial
                  Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2509},
  pages        = {95--100},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2509/paper15.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/AlimguzhinMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AlimguzhinMMST19,
  author       = {Vadim Alimguzhin and
                  Toni Mancini and
                  Annalisa Massini and
                  Stefano Sinisi and
                  Enrico Tronci},
  editor       = {Nicola Gigante and
                  Federico Mari and
                  Andrea Orlandini},
  title        = {In Silico Clinical Trials through {AI} and Statistical Model Checking},
  booktitle    = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
                  Verification, Logic, Automata, and Synthesis, co-located with the
                  18th International Conference of the Italian Association for Artificial
                  Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2509},
  pages        = {17--22},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2509/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/AlimguzhinMMST19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BresolinGV19,
  author       = {Davide Bresolin and
                  Luca Geretti and
                  Tiziano Villa},
  editor       = {Nicola Gigante and
                  Federico Mari and
                  Andrea Orlandini},
  title        = {Automated Verification of Noisy Nonlinear Cyber-Physical Systems with
                  Ariadne},
  booktitle    = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
                  Verification, Logic, Automata, and Synthesis, co-located with the
                  18th International Conference of the Italian Association for Artificial
                  Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2509},
  pages        = {29--34},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2509/paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/BresolinGV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BrunelloMM19,
  author       = {Andrea Brunello and
                  Dario Della Monica and
                  Angelo Montanari},
  editor       = {Nicola Gigante and
                  Federico Mari and
                  Andrea Orlandini},
  title        = {Pairing Monitoring with Machine Learning for Smart System Verification
                  and Predictive Maintenance},
  booktitle    = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
                  Verification, Logic, Automata, and Synthesis, co-located with the
                  18th International Conference of the Italian Association for Artificial
                  Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2509},
  pages        = {71--76},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2509/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/BrunelloMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Delzanno19,
  author       = {Giorgio Delzanno},
  editor       = {Nicola Gigante and
                  Federico Mari and
                  Andrea Orlandini},
  title        = {Towards the Automated Verification of Publish/Subscribe Networks},
  booktitle    = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
                  Verification, Logic, Automata, and Synthesis, co-located with the
                  18th International Conference of the Italian Association for Artificial
                  Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2509},
  pages        = {35--40},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2509/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/Delzanno19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FaellaS19,
  author       = {Marco Faella and
                  Luigi Sauro},
  editor       = {Nicola Gigante and
                  Federico Mari and
                  Andrea Orlandini},
  title        = {Preference Theories on Weak Orders},
  booktitle    = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
                  Verification, Logic, Automata, and Synthesis, co-located with the
                  18th International Conference of the Italian Association for Artificial
                  Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2509},
  pages        = {53--58},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2509/paper8.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/FaellaS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Golinska-Pilarek19,
  author       = {Joanna Golinska{-}Pilarek and
                  Michal Zawidzki},
  editor       = {Nicola Gigante and
                  Federico Mari and
                  Andrea Orlandini},
  title        = {Tableau-based Decision Procedure for the Logic {SCI}},
  booktitle    = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
                  Verification, Logic, Automata, and Synthesis, co-located with the
                  18th International Conference of the Italian Association for Artificial
                  Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2509},
  pages        = {23--28},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2509/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/Golinska-Pilarek19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/HasanbeigKA19,
  author       = {Mohammadhosein Hasanbeig and
                  Daniel Kroening and
                  Alessandro Abate},
  editor       = {Nicola Gigante and
                  Federico Mari and
                  Andrea Orlandini},
  title        = {Towards Verifiable and Safe Model-Free Reinforcement Learning},
  booktitle    = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
                  Verification, Logic, Automata, and Synthesis, co-located with the
                  18th International Conference of the Italian Association for Artificial
                  Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2509},
  pages        = {1},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2509/invited.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/HasanbeigKA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/LanzilliMCOU19,
  author       = {Annarita Lanzilli and
                  Marta Cialdea Mayer and
                  Amedeo Cesta and
                  Andrea Orlandini and
                  Alessandro Umbrico},
  editor       = {Nicola Gigante and
                  Federico Mari and
                  Andrea Orlandini},
  title        = {A Prototype for the Robust Execution of Flexible Plans},
  booktitle    = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
                  Verification, Logic, Automata, and Synthesis, co-located with the
                  18th International Conference of the Italian Association for Artificial
                  Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2509},
  pages        = {89--93},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2509/paper14.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/LanzilliMCOU19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/Lucena-SanchezM19,
  author       = {Estrella Lucena{-}S{\'{a}}nchez and
                  Emilio Mu{\~{n}}oz{-}Velasco and
                  Guido Sciavicco and
                  Ionel Eduard Stan and
                  Alessandro Vaccari},
  editor       = {Nicola Gigante and
                  Federico Mari and
                  Andrea Orlandini},
  title        = {Towards Interval Temporal Logic Rule-Based Classification},
  booktitle    = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
                  Verification, Logic, Automata, and Synthesis, co-located with the
                  18th International Conference of the Italian Association for Artificial
                  Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2509},
  pages        = {65--70},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2509/paper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/Lucena-SanchezM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MonicaF19,
  author       = {Dario Della Monica and
                  Adrian Francalanza},
  editor       = {Nicola Gigante and
                  Federico Mari and
                  Andrea Orlandini},
  title        = {Pushing Runtime Verification to the Limit: May Process Semantics Be
                  With Us},
  booktitle    = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
                  Verification, Logic, Automata, and Synthesis, co-located with the
                  18th International Conference of the Italian Association for Artificial
                  Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2509},
  pages        = {47--52},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2509/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/MonicaF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/PippiaBTFP19,
  author       = {Eleonora Pippia and
                  Arianna Bozzato and
                  Emidio Tiberi and
                  Riccardo Furlanetto and
                  Alberto Policriti},
  editor       = {Nicola Gigante and
                  Federico Mari and
                  Andrea Orlandini},
  title        = {Optimization and Multistage Systems. The Thawing Case},
  booktitle    = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
                  Verification, Logic, Automata, and Synthesis, co-located with the
                  18th International Conference of the Italian Association for Artificial
                  Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2509},
  pages        = {101--106},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2509/paper16.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/PippiaBTFP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/RanzatoZ19,
  author       = {Francesco Ranzato and
                  Marco Zanella},
  editor       = {Nicola Gigante and
                  Federico Mari and
                  Andrea Orlandini},
  title        = {Robustness Verification of Decision Tree Ensembles},
  booktitle    = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
                  Verification, Logic, Automata, and Synthesis, co-located with the
                  18th International Conference of the Italian Association for Artificial
                  Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2509},
  pages        = {59--64},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2509/paper9.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/RanzatoZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/TorreP19,
  author       = {Salvatore {La Torre} and
                  Gennaro Parlato},
  editor       = {Nicola Gigante and
                  Federico Mari and
                  Andrea Orlandini},
  title        = {Model Checking {BDI} Logics over Finite-state Worlds},
  booktitle    = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
                  Verification, Logic, Automata, and Synthesis, co-located with the
                  18th International Conference of the Italian Association for Artificial
                  Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2509},
  pages        = {11--16},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2509/paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/TorreP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ZavatteriRV19,
  author       = {Matteo Zavatteri and
                  Romeo Rizzi and
                  Tiziano Villa},
  editor       = {Nicola Gigante and
                  Federico Mari and
                  Andrea Orlandini},
  title        = {Strong Controllability of Temporal Networks with Decisions},
  booktitle    = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
                  Verification, Logic, Automata, and Synthesis, co-located with the
                  18th International Conference of the Italian Association for Artificial
                  Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2509},
  pages        = {77--82},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2509/paper12.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/ZavatteriRV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ZavatteriRV19a,
  author       = {Matteo Zavatteri and
                  Romeo Rizzi and
                  Tiziano Villa},
  editor       = {Nicola Gigante and
                  Federico Mari and
                  Andrea Orlandini},
  title        = {Complexity of Weak, Strong and Dynamic Controllability of CNCUs},
  booktitle    = {Proceedings of the 1st Workshop on Artificial Intelligence and Formal
                  Verification, Logic, Automata, and Synthesis, co-located with the
                  18th International Conference of the Italian Association for Artificial
                  Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2509},
  pages        = {83--88},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2509/paper13.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/ZavatteriRV19a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}