12 citations · 21 across the 8 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.FL2011★ 3 cited
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems
Davide Bresolin, Marta Capiluppi
Physical systems can fail. For this reason the problem of identifying and reacting to faults has received a large attention in the control and computer science communities. In this…
cs.LO2011★ 3 cited
An Optimal Decision Procedure for MPNL over the Integers
Davide Bresolin, Angelo Montanari, Pietro Sala +1
Interval temporal logics provide a natural framework for qualitative and quantitative temporal reason- ing over interval structures, where the truth of formulae is defined over int…