Pith. sign in

REVIEW

Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2109.07798 v1 pith:U5OSI6QT submitted 2021-09-16 cs.FL cs.GTcs.LO

Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification

Pierre Ganty (IMDEA Software Institute , Madrid , Spain) , Davide Bresolin (University of Padova , Italy) This is my paper
classification cs.FL cs.GTcs.LO
keywords automataformalgamessymposiumverificationgandalfinternationallogics
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

This volume contains the proceedings of the 12th International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2021). The aim of GandALF 2021 symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.