|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Giulio Mazzi, Alberto Castellini, Alessandro Farinelli |
Rule-based Shield Synthesis for Partially Observable Monte Carlo Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021., pp. 19-23, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Salvatore La Torre, Gennaro Parlato |
Automated Planning Through Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021., pp. 13-17, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Anna Becchi, Alessandro Cimatti, Enea Zaffanella |
Reverse engineering with P-stable Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021., pp. 91-95, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Marco Esposito, Leonardo Picchiami |
Simulation-Based Synthesis of Personalised Therapies for Colorectal Cancer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021., pp. 109-113, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Marco Esposito |
AI-guided optimal deployments of drone-intercepting systems in large critical areas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021., pp. 97-101, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Guido Sciavicco, Tiziano Villa, Matteo Zavatteri |
Mining Temporal Networks: Results and Open Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021., pp. 31-36, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Angela Pappagallo |
Statistical Model Checking for the Analysis of Mission- and Safety-Critical Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021., pp. 55-59, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Alessandro Gianola, Marco Montali, Matteo Papini |
Automated Reasoning for Reinforcement Learning Agents in Structured Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021., pp. 43-48, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Franc Ivankovic, Marco Roveri |
Planning with Global State Constraints for Urban Traffic Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021., pp. 1-5, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo |
A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021., pp. 73-75, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Rachid Adrdor, Lahcen Koutti |
Using Directional Arc Consistency with Asynchronous Forward-Bounding algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021., pp. 49-53, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Benedikt Böing, Rajarshi Roy 0002, Daniel Neider, Emmanuel Müller |
QUGA - Quality Guarantees for Autoencoders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021., pp. 103-107, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Aliyu Tanko Ali, Damas P. Gruska |
Dynamic Attack Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021., pp. 25-29, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Luca Geatti, Nicola Gigante, Angelo Montanari |
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021., pp. 7-12, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Jannik Dunkelau, Leo Baldus |
Ranking Model Checking Backends for Automated Selection via Classification and Regression Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021., pp. 77-82, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Marco Sälzer, Georg Siebert |
Towards Learning From Graph Representable Formal Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021., pp. 67-71, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Dario Della Monica, Gian Luca Pozzato, Enrico Scala (eds.) |
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier |
On the Parameterized Verification of Abstract Models of Contact Tracing Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021., pp. 61-66, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Valentina Gliozzi, Daniele Theseider Dupré |
Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021., pp. 83-89, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan |
Multi-Frame Modal Symbolic Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY@GandALF ![In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021., pp. 37-41, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|