Travelled to:1 × Germany
Collaborated with:A.Montanari A.Peron L.Bozzelli P.Sala
Talks about:tempor (2) interv (2) model (2) logic (2) check (2) procedur (1) fragment (1) between (1) repres (1) border (1)
Person: Alberto Molinari
DBLP: Molinari:Alberto
Contributed to:
2015
2016Wrote 2 papers:
- CSL-2015-MolinariMP #logic #model checking
- A Model Checking Procedure for Interval Temporal Logics based on Track Representatives (AM, AM, AP), pp. 193–210.
- IJCAR-2016-BozzelliMMPS #logic #model checking
- Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments (LB, AM, AM, AP, PS), pp. 389–405.