|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 50 publication records. Showing 50 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andrea Brunello, Alessandro Gianola, Fabio Mogavero (eds.) |
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.  |
OVERLAY@AI*IA  |
2024 |
DBLP BibTeX RDF |
|
| 1 | Marco Sälzer, Eric Alsmann, Martin Lange |
On Challenges and Opportunities in the Translation of Deep Neural Networks into Finite Automata. |
OVERLAY@AI*IA |
2023 |
DBLP BibTeX RDF |
|
| 1 | Francesco Chiariello |
Automata-Based Temporal Reasoning in Answer Set Programming with Application to Process Mining. |
OVERLAY@AI*IA |
2023 |
DBLP BibTeX RDF |
|
| 1 | Paolo Giorgini, Andrea Mazzullo, Marco Robol, Marco Roveri |
Towards Large Language Model Architectures for Knowledge Acquisition and Strategy Synthesis. |
OVERLAY@AI*IA |
2023 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Marco Favorito, Luciana Silo |
Composition of Nondeterministic Services for LTLf Task Specification. |
OVERLAY@AI*IA |
2023 |
DBLP BibTeX RDF |
|
| 1 | Marco Favorito |
Forward LTLf Synthesis: DPLL At Work. |
OVERLAY@AI*IA |
2023 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Pagliarini, Andrea Paradiso, Sasha Rubin, Guido Sciavicco, Ionel Eduard Stan |
Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas. |
OVERLAY@AI*IA |
2023 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo |
A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies. |
OVERLAY@AI*IA |
2023 |
DBLP BibTeX RDF |
|
| 1 | Atefeh Zareh Chahoki, Marco Roveri, Daniel Amyot, John Mylopoulos |
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements. |
OVERLAY@AI*IA |
2023 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi |
Clock Specifications for Temporal Tasks in Planning and Learning. |
OVERLAY@AI*IA |
2023 |
DBLP BibTeX RDF |
|
| 1 | Luca Olivieri, Luca Pasetto |
Towards Compliance of Smart Contracts with the European Union Data Act. |
OVERLAY@AI*IA |
2023 |
DBLP BibTeX RDF |
|
| 1 | Thao Dang 0001 |
Formal Design of Cyber-Physical Systems with Learning-Enabled Components. |
OVERLAY@AI*IA |
2023 |
DBLP BibTeX RDF |
|
| 1 | Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace |
Tree Kernels to Support Formal Methods-based Testing of Evolving Specifications. |
OVERLAY@AI*IA |
2023 |
DBLP BibTeX RDF |
|
| 1 | Luca Geatti, Angelo Montanari, Nicola Saccomanno |
Towards Machine Learning Enhanced LTL Monitoring. |
OVERLAY@AI*IA |
2023 |
DBLP BibTeX RDF |
|
| 1 | Yannick Kees, Gerald Sauter, Ryan Mut, Benedikt Franke, Frank Köster, Sven Hallerbach |
ODD-Based Health Monitoring and Predictive Maintenance of Degrading Vehicle Functionality. |
OVERLAY@AI*IA |
2023 |
DBLP BibTeX RDF |
|
| 1 | Guido Sciavicco |
A First-Order Interval Temporal Logic for Adjacent Variables Temporal Data. |
OVERLAY@AI*IA |
2023 |
DBLP BibTeX RDF |
|
| 1 | Mauro Milella, Giovanni Pagliarini, Andrea Paradiso, Ionel Eduard Stan |
Multi-Models and Multi-Formulas Finite Model Checking for Modal Logic Formulas Induction. |
OVERLAY@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot |
Constrained Training of Neural Networks via Theorem Proving. |
OVERLAY@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Daniele Meli, Giulio Mazzi, Alberto Castellini, Alessandro Farinelli |
From POMDP Executions to Probabilistic Axioms. |
OVERLAY@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
A Modular SMT-based Approach for Data-aware Conformance Checking. |
OVERLAY@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Luca Geatti, Guido Sciavicco, Alessandro Umbrico (eds.) |
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. |
OVERLAY@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Burigana, Paolo Felli, Marco Montali |
DELPHIC: Towards an Efficient Possibility-based Epistemic Planning Framework. |
OVERLAY@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | David Heik, Fouad Bahrpeyma, Dirk Reichelt |
An Application of Reinforcement Learning in Industrial Cyber-Physical Systems. |
OVERLAY@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Matteo Zavatteri, Davide Bresolin, Romeo Rizzi, Tiziano Villa |
Dynamic Controllability of Temporal Networks via Supervisory Control. |
OVERLAY@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Munyque Mittelmann |
Formally Reasoning about Strategies in Mechanisms. |
OVERLAY@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Antonio Lieto, Gian Luca Pozzato, Manuel Striani, Stefano Zoia, Rossana Damiano |
Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion. |
OVERLAY@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Silvia Stranieri |
Reasoning about Reachability and Concurrency in DEL Games. |
OVERLAY@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Marco Esposito, Leonardo Picchiami |
Formal Certification of Surrogate Models for Cyber-Physical Systems Verification. |
OVERLAY@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Gianola, Nicola Gigante |
LTL Modulo Theories over Finite Traces: modeling, verification, open questions. |
OVERLAY@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Benedikt Böing, Falk Howar, Jelle Hüntelmann, Emmanuel Müller, Richard Stewing |
Neural Network Verification with DSE. |
OVERLAY@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Gianola |
Uniform Interpolation for the Automated Verification of Data-Aware Business Processes. |
OVERLAY@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Swantje Plambeck, Görschwin Fey |
Regression Trees for System Models and Prediction. |
OVERLAY@AI*IA |
2022 |
DBLP BibTeX RDF |
|
| 1 | Nicola Gigante, Federico Mari, Andrea Orlandini (eds.) |
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. |
OVERLAY@AI*IA |
2020 |
DBLP BibTeX RDF |
|
| 1 | Salvatore La Torre, Gennaro Parlato |
Model Checking BDI Logics over Finite-state Worlds. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
| 1 | Davide Bresolin, Luca Geretti, Tiziano Villa |
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
| 1 | Eleonora Pippia, Arianna Bozzato, Emidio Tiberi, Riccardo Furlanetto, Alberto Policriti |
Optimization and Multistage Systems. The Thawing Case. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
| 1 | Joanna Golinska-Pilarek, Michal Zawidzki |
Tableau-based Decision Procedure for the Logic SCI. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
| 1 | Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate |
Towards Verifiable and Safe Model-Free Reinforcement Learning. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
| 1 | Matteo Zavatteri, Romeo Rizzi, Tiziano Villa |
Complexity of Weak, Strong and Dynamic Controllability of CNCUs. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
| 1 | Vadim Alimguzhin, Federico Mari, Igor Melatti |
Control Software Synthesis for Cyber-Physical Systems with QKS. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
| 1 | Marco Faella, Luigi Sauro |
Preference Theories on Weak Orders. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
| 1 | Vadim Alimguzhin, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci |
In Silico Clinical Trials through AI and Statistical Model Checking. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
| 1 | Matteo Zavatteri, Romeo Rizzi, Tiziano Villa |
Strong Controllability of Temporal Networks with Decisions. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
| 1 | Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré |
Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
| 1 | Andrea Brunello, Dario Della Monica, Angelo Montanari |
Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
| 1 | Francesco Ranzato, Marco Zanella |
Robustness Verification of Decision Tree Ensembles. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
| 1 | Annarita Lanzilli, Marta Cialdea Mayer, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico |
A Prototype for the Robust Execution of Flexible Plans. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
| 1 | Estrella Lucena-Sánchez, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari 0002 |
Towards Interval Temporal Logic Rule-Based Classification. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
| 1 | Dario Della Monica, Adrian Francalanza |
Pushing Runtime Verification to the Limit: May Process Semantics Be With Us. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno |
Towards the Automated Verification of Publish/Subscribe Networks. |
OVERLAY@AI*IA |
2019 |
DBLP BibTeX RDF |
|
Displaying result #1 - #50 of 50 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license