`Travelled to:`

1 × Austria

1 × Cyprus

1 × Czech Republic

2 × Germany

2 × USA

`Collaborated with:`

A.Murano A.Bianco M.Benerecetti G.Perelli L.Sauro D.Dell'Erba P.Cermák A.Lomuscio M.Faella

`Talks about:`

logic (6) strategi (2) tempor (2) comput (2) model (2) grade (2) tree (2) game (2) substructur (1) quantifi (1)

## Person: Fabio Mogavero

### DBLP: Mogavero:Fabio

### Contributed to:

### Wrote 9 papers:

- CSL-2015-MogaveroP #first-order #logic
- Binding Forms in First-Order Logic (FM, GP), pp. 648–665.
- CAV-2014-CermakLMM #logic #model checking #named #specification #verification
- MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications (PC, AL, FM, AM), pp. 525–532.
- LICS-2013-BenerecettiMM #logic
- Substructure Temporal Logic (MB, FM, AM), pp. 368–377.
- LICS-2013-MogaveroMS #behaviour #bound #on the
- On the Boundary of Behavioral Strategies (FM, AM, LS), pp. 263–272.
- CSL-2010-BiancoMM #logic
- Graded Computation Tree Logic with Binary Coding (AB, FM, AM), pp. 125–139.
- QAPL-2010-BiancoFMM #game studies
- Quantitative Fairness Games (AB, MF, FM, AM), pp. 48–63.
- DLT-2009-MogaveroM #logic #quantifier
- Branching-Time Temporal Logics with Minimal Model Quantifiers (FM, AM), pp. 396–409.
- LICS-2009-BiancoMM #logic
- Graded Computation Tree Logic (AB, FM, AM), pp. 342–351.
- CAV-2016-BenerecettiDM #game studies
- Solving Parity Games via Priority Promotion (MB, DD, FM), pp. 270–290.