12 citations · 21 across the 8 of their papers we have counts for
Showing 2021Show all
2 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…