12 citations · 21 across the 7 of their papers we have counts for
Showing cs.FLShow all
3 papers · 1 filter
cs.FL2021★ 1 cited
Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification
Pierre Ganty, Davide Bresolin
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 b…
cs.FL2021
Equivalence Checking and Intersection of Deterministic Timed Finite State Machines
Davide Bresolin, Khaled El-Fakih, Tiziano Villa +1
There has been a growing interest in defining models of automata enriched with time, such as finite automata extended with clocks (timed automata). In this paper, we study determin…
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…