![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
OVERLAY@GandALF 2021: Padua, Italy
- Dario Della Monica, Gian Luca Pozzato, Enrico Scala:
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. CEUR Workshop Proceedings 2987, CEUR-WS.org 2021
Short Papers Technical Track
- Franc Ivankovic, Marco Roveri:
Planning with Global State Constraints for Urban Traffic Control. 1-5 - Luca Geatti, Nicola Gigante, Angelo Montanari:
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker. 7-12 - Salvatore La Torre, Gennaro Parlato:
Automated Planning Through Program Verification. 13-17 - Giulio Mazzi, Alberto Castellini, Alessandro Farinelli:
Rule-based Shield Synthesis for Partially Observable Monte Carlo Planning. 19-23 - Aliyu Tanko Ali, Damas P. Gruska:
Dynamic Attack Trees. 25-29 - Guido Sciavicco, Tiziano Villa, Matteo Zavatteri:
Mining Temporal Networks: Results and Open Problems. 31-36 - Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan:
Multi-Frame Modal Symbolic Learning. 37-41 - Alessandro Gianola, Marco Montali, Matteo Papini:
Automated Reasoning for Reinforcement Learning Agents in Structured Environments. 43-48 - Rachid Adrdor, Lahcen Koutti:
Using Directional Arc Consistency with Asynchronous Forward-Bounding algorithm. 49-53 - Angela Pappagallo:
Statistical Model Checking for the Analysis of Mission- and Safety-Critical Cyber-Physical Systems. 55-59 - Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier:
On the Parameterized Verification of Abstract Models of Contact Tracing Protocols. 61-66 - Marco Sälzer, Georg Siebert:
Towards Learning From Graph Representable Formal Models. 67-71 - 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. 73-75 - Jannik Dunkelau, Leo Baldus:
Ranking Model Checking Backends for Automated Selection via Classification and Regression Learning. 77-82 - Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract). 83-89 - Anna Becchi, Alessandro Cimatti, Enea Zaffanella:
Reverse engineering with P-stable Abstractions. 91-95 - Marco Esposito:
AI-guided optimal deployments of drone-intercepting systems in large critical areas. 97-101 - Benedikt Böing, Rajarshi Roy, Daniel Neider, Emmanuel Müller:
QUGA - Quality Guarantees for Autoencoders. 103-107 - Marco Esposito, Leonardo Picchiami:
Simulation-Based Synthesis of Personalised Therapies for Colorectal Cancer. 109-113
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.