researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2011
2020
2021
Filter by Tag
Filter by Author
[+]
OR
AND
NOT
1
Alberto Castellini
Alec Edwards
Alessandro Abate
Alessandro Cimatti
Alessandro Farinelli
Alessandro Gianola
Aliyu Tanko Ali
Andrea Peruffo
Angela Pappagallo
Angelo Montanari
Anna Becchi
Arnaud Sangnier
Benedikt Böing
Damas P. Gruska
Daniel Neider
Daniele Ahmed
Daniele Theseider Dupré
Emmanuel Müller
Guido Sciavicco
Marco Esposito
Filter by Top terms
[+]
OR
AND
NOT
1
2021
22
abstract
automated
checking
critical
formal
gandalf
learning
model
models
networks
neural
planning
proceedings
reasoning
synthesis
systems
using
verification
GandALF (GandALF)
Editions
Publications
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 Networks
Alessandro Abate
,
Daniele Ahmed
,
Alec Edwards
,
Mirco Giacobbe
,
Andrea Peruffo
.
GandALF 2021
:
73-75
[doi]
Using Directional Arc Consistency with Asynchronous Forward-Bounding algorithm
Rachid Adrdor
,
Lahcen Koutti
.
GandALF 2021
:
49-53
[doi]
Dynamic Attack Trees
Aliyu Tanko Ali
,
Damas P. Gruska
.
GandALF 2021
:
25-29
[doi]
Reverse engineering with P-stable Abstractions
Anna Becchi
,
Alessandro Cimatti
,
Enea Zaffanella
.
GandALF 2021
:
91-95
[doi]
QUGA - Quality Guarantees for Autoencoders
Benedikt 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 Protocols
Sylvain Conchon
,
Giorgio Delzanno
,
Arnaud Sangnier
.
GandALF 2021
:
61-66
[doi]
Ranking Model Checking Backends for Automated Selection via Classification and Regression Learning
Jannik Dunkelau
,
Leo Baldus
.
GandALF 2021
:
77-82
[doi]
Simulation-Based Synthesis of Personalised Therapies for Colorectal Cancer
Marco Esposito
,
Leonardo Picchiami
.
GandALF 2021
:
109-113
[doi]
AI-guided optimal deployments of drone-intercepting systems in large critical areas
Marco Esposito
.
GandALF 2021
:
97-101
[doi]
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker
Luca Geatti
,
Nicola Gigante
,
Angelo Montanari
.
GandALF 2021
:
7-12
[doi]
Automated Reasoning for Reinforcement Learning Agents in Structured Environments
Alessandro Gianola
,
Marco Montali
,
Matteo Papini
.
GandALF 2021
:
43-48
[doi]
Planning with Global State Constraints for Urban Traffic Control
Franc Ivankovic
,
Marco Roveri
.
GandALF 2021
:
1-5
[doi]
Rule-based Shield Synthesis for Partially Observable Monte Carlo Planning
Giulio 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, 2021
Dario Della Monica
,
Gian Luca Pozzato
,
Enrico Scala
, editors,
Volume 2987 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2021.
[doi]
Multi-Frame Modal Symbolic Learning
Giovanni Pagliarini
,
Guido Sciavicco
,
Ionel Eduard Stan
.
GandALF 2021
:
37-41
[doi]
Statistical Model Checking for the Analysis of Mission- and Safety-Critical Cyber-Physical Systems
Angela Pappagallo
.
GandALF 2021
:
55-59
[doi]
Mining Temporal Networks: Results and Open Problems
Guido Sciavicco
,
Tiziano Villa
,
Matteo Zavatteri
.
GandALF 2021
:
31-36
[doi]
Towards Learning From Graph Representable Formal Models
Marco Sälzer
,
Georg Siebert
.
GandALF 2021
:
67-71
[doi]
Automated Planning Through Program Verification
Salvatore La Torre
,
Gennaro Parlato
.
GandALF 2021
:
13-17
[doi]
2020
GandALF, Proceedings
2020.
2011
GandALF, Proceedings
2011.
Sign in
or
sign up
to see more results.