OVERLAY@GandALF

Keyphrases

Publications

2021

Giulio Mazzi, Alberto Castellini, Alessandro Farinelli
Rule-based Shield Synthesis for Partially Observable Monte Carlo Planning. OVERLAY@GandALF (2021)
Salvatore La Torre, Gennaro Parlato
Automated Planning Through Program Verification. OVERLAY@GandALF (2021)
Anna Becchi, Alessandro Cimatti, Enea Zaffanella
Reverse engineering with P-stable Abstractions. OVERLAY@GandALF (2021)
Marco Esposito, Leonardo Picchiami
Simulation-Based Synthesis of Personalised Therapies for Colorectal Cancer. OVERLAY@GandALF (2021)
Marco Esposito
AI-guided optimal deployments of drone-intercepting systems in large critical areas. OVERLAY@GandALF (2021)
Guido Sciavicco, Tiziano Villa, Matteo Zavatteri
Mining Temporal Networks: Results and Open Problems. OVERLAY@GandALF (2021)
Angela Pappagallo
Statistical Model Checking for the Analysis of Mission- and Safety-Critical Cyber-Physical Systems. OVERLAY@GandALF (2021)
Alessandro Gianola, Marco Montali, Matteo Papini
Automated Reasoning for Reinforcement Learning Agents in Structured Environments. OVERLAY@GandALF (2021)
Franc Ivankovic, Marco Roveri
Planning with Global State Constraints for Urban Traffic Control. OVERLAY@GandALF (2021)
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. OVERLAY@GandALF (2021)
Rachid Adrdor, Lahcen Koutti
Using Directional Arc Consistency with Asynchronous Forward-Bounding algorithm. OVERLAY@GandALF (2021)
Benedikt Böing, Rajarshi Roy, Daniel Neider, Emmanuel Müller
QUGA - Quality Guarantees for Autoencoders. OVERLAY@GandALF (2021)
Aliyu Tanko Ali, Damas P. Gruska
Dynamic Attack Trees. OVERLAY@GandALF (2021)
Luca Geatti, Nicola Gigante, Angelo Montanari
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker. OVERLAY@GandALF (2021)
Jannik Dunkelau, Leo Baldus
Ranking Model Checking Backends for Automated Selection via Classification and Regression Learning. OVERLAY@GandALF (2021)
Marco Sälzer, Georg Siebert
Towards Learning From Graph Representable Formal Models. OVERLAY@GandALF (2021)
Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier
On the Parameterized Verification of Abstract Models of Contact Tracing Protocols. OVERLAY@GandALF (2021)
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract). OVERLAY@GandALF (2021)
Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan
Multi-Frame Modal Symbolic Learning. OVERLAY@GandALF (2021)

volume 2987, 2021

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. OVERLAY@GandALF 2987 (2021)