|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 7-11, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Francesco Chiariello |
Automata-Based Temporal Reasoning in Answer Set Programming with Application to Process Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 37-42, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Paolo Giorgini, Andrea Mazzullo, Marco Robol, Marco Roveri |
Towards Large Language Model Architectures for Knowledge Acquisition and Strategy Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 21-29, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Giuseppe De Giacomo, Marco Favorito, Luciana Silo |
Composition of Nondeterministic Services for LTLf Task Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 73-77, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Marco Favorito |
Forward LTLf Synthesis: DPLL At Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 67-72, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 49-53, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 85-92, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Atefeh Zareh Chahoki, Marco Roveri, Daniel Amyot, John Mylopoulos |
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 55-60, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi |
Clock Specifications for Temporal Tasks in Planning and Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 93-98, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Luca Olivieri, Luca Pasetto |
Towards Compliance of Smart Contracts with the European Union Data Act. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 61-66, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Thao Dang 0001 |
Formal Design of Cyber-Physical Systems with Learning-Enabled Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 1-5, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 79-84, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Luca Geatti, Angelo Montanari, Nicola Saccomanno |
Towards Machine Learning Enhanced LTL Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 13-19, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 31-36, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Guido Sciavicco |
A First-Order Interval Temporal Logic for Adjacent Variables Temporal Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 43-47, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 81-85, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot |
Constrained Training of Neural Networks via Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 7-12, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Daniele Meli, Giulio Mazzi, Alberto Castellini, Alessandro Farinelli |
From POMDP Executions to Probabilistic Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 93-98, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 87-92, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Alessandro Burigana, Paolo Felli, Marco Montali |
DELPHIC: Towards an Efficient Possibility-based Epistemic Planning Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 33-37, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | David Heik, Fouad Bahrpeyma, Dirk Reichelt |
An Application of Reinforcement Learning in Industrial Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 51-55, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Matteo Zavatteri, Davide Bresolin, Romeo Rizzi, Tiziano Villa |
Dynamic Controllability of Temporal Networks via Supervisory Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 27-31, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Munyque Mittelmann |
Formally Reasoning about Strategies in Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 21-26, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 45-50, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Silvia Stranieri |
Reasoning about Reachability and Concurrency in DEL Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 39-43, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Marco Esposito, Leonardo Picchiami |
Formal Certification of Surrogate Models for Cyber-Physical Systems Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 63-71, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Alessandro Gianola, Nicola Gigante |
LTL Modulo Theories over Finite Traces: modeling, verification, open questions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 13-19, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Benedikt Böing, Falk Howar, Jelle Hüntelmann, Emmanuel Müller, Richard Stewing |
Neural Network Verification with DSE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 1-6, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Alessandro Gianola |
Uniform Interpolation for the Automated Verification of Data-Aware Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 73-79, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Swantje Plambeck, Görschwin Fey |
Regression Trees for System Models and Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 57-61, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Salvatore La Torre, Gennaro Parlato |
Model Checking BDI Logics over Finite-state Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 11-16, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Davide Bresolin, Luca Geretti, Tiziano Villa |
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 29-34, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Eleonora Pippia, Arianna Bozzato, Emidio Tiberi, Riccardo Furlanetto, Alberto Policriti |
Optimization and Multistage Systems. The Thawing Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 101-106, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Joanna Golinska-Pilarek, Michal Zawidzki |
Tableau-based Decision Procedure for the Logic SCI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 23-28, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate |
Towards Verifiable and Safe Model-Free Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 1, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Matteo Zavatteri, Romeo Rizzi, Tiziano Villa |
Complexity of Weak, Strong and Dynamic Controllability of CNCUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 83-88, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Vadim Alimguzhin, Federico Mari, Igor Melatti |
Control Software Synthesis for Cyber-Physical Systems with QKS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 95-100, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Marco Faella, Luigi Sauro |
Preference Theories on Weak Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 53-58, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 17-22, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Matteo Zavatteri, Romeo Rizzi, Tiziano Villa |
Strong Controllability of Temporal Networks with Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 77-82, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 41-46, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Andrea Brunello, Dario Della Monica, Angelo Montanari |
Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 71-76, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Francesco Ranzato, Marco Zanella |
Robustness Verification of Decision Tree Ensembles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 59-64, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 89-93, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 65-70, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Dario Della Monica, Adrian Francalanza |
Pushing Runtime Verification to the Limit: May Process Semantics Be With Us. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 47-52, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Giorgio Delzanno |
Towards the Automated Verification of Publish/Subscribe Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@AI*IA ![In: 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., pp. 35-40, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
Displaying result #1 - #50 of 50 (100 per page; Change: )
|
|