GandALF - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2021

Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract)Laura Giordano 0001, Valentina Gliozzi, Daniele Theseider Dupré. GandALF 2021: 83-89 [doi]

A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural NetworksAlessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo. GandALF 2021: 73-75 [doi]

Using Directional Arc Consistency with Asynchronous Forward-Bounding algorithmRachid Adrdor, Lahcen Koutti. GandALF 2021: 49-53 [doi]

Dynamic Attack TreesAliyu Tanko Ali, Damas P. Gruska. GandALF 2021: 25-29 [doi]

Reverse engineering with P-stable AbstractionsAnna Becchi, Alessandro Cimatti, Enea Zaffanella. GandALF 2021: 91-95 [doi]

QUGA - Quality Guarantees for AutoencodersBenedikt Böing, Rajarshi Roy 0002, Daniel Neider, Emmanuel Müller. GandALF 2021: 103-107 [doi]

On the Parameterized Verification of Abstract Models of Contact Tracing ProtocolsSylvain Conchon, Giorgio Delzanno, Arnaud Sangnier. GandALF 2021: 61-66 [doi]

Ranking Model Checking Backends for Automated Selection via Classification and Regression LearningJannik Dunkelau, Leo Baldus. GandALF 2021: 77-82 [doi]

Simulation-Based Synthesis of Personalised Therapies for Colorectal CancerMarco Esposito, Leonardo Picchiami. GandALF 2021: 109-113 [doi]

AI-guided optimal deployments of drone-intercepting systems in large critical areasMarco Esposito. GandALF 2021: 97-101 [doi]

BLACK: A Fast, Flexible and Reliable LTL Satisfiability CheckerLuca Geatti, Nicola Gigante, Angelo Montanari. GandALF 2021: 7-12 [doi]

Automated Reasoning for Reinforcement Learning Agents in Structured EnvironmentsAlessandro Gianola, Marco Montali, Matteo Papini. GandALF 2021: 43-48 [doi]

Planning with Global State Constraints for Urban Traffic ControlFranc Ivankovic, Marco Roveri. GandALF 2021: 1-5 [doi]

Rule-based Shield Synthesis for Partially Observable Monte Carlo PlanningGiulio Mazzi, Alberto Castellini, Alessandro Farinelli. GandALF 2021: 19-23 [doi]

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, 2021Dario Della Monica, Gian Luca Pozzato, Enrico Scala, editors, Volume 2987 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]

Multi-Frame Modal Symbolic LearningGiovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan. GandALF 2021: 37-41 [doi]

Statistical Model Checking for the Analysis of Mission- and Safety-Critical Cyber-Physical SystemsAngela Pappagallo. GandALF 2021: 55-59 [doi]

Mining Temporal Networks: Results and Open ProblemsGuido Sciavicco, Tiziano Villa, Matteo Zavatteri. GandALF 2021: 31-36 [doi]

Towards Learning From Graph Representable Formal ModelsMarco Sälzer, Georg Siebert. GandALF 2021: 67-71 [doi]

Automated Planning Through Program VerificationSalvatore La Torre, Gennaro Parlato. GandALF 2021: 13-17 [doi]

2020

GandALF, Proceedings2020.

2011

GandALF, Proceedings2011.

Sign in or sign up to see more results.

runs on WebDSL