Travelled to:1 × France
Collaborated with:A.Cimatti S.Tonetta M.Bozzano C.Mattarei K.Y.Rozier
Talks about:design (2) traffic (1) identif (1) epistem (1) control (1) tempor (1) formal (1) explor (1) detect (1) compon (1)
Person: Marco Gario
DBLP: Gario:Marco
Contributed to:
2014
2016Wrote 2 papers:
- TACAS-2014-BozzanoCGT #component #design #detection #fault #identification #logic #using
- Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic (MB, AC, MG, ST), pp. 326–340.
- CAV-2016-GarioCMTR #automation #design #model checking #scalability
- Model Checking at Scale: Automated Air Traffic Control Design Space Exploration (MG, AC, CM, ST, KYR), pp. 3–22.