3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.FL2024
Parameterized Verification of Timed Networks with Clock Invariants
Étienne André, Swen Jacobs, Shyam Lal Karra +1
We consider parameterized verification problems for networks of timed automata (TAs) based on different communication primitives. To this end, we first consider disjunctive timed n…
cs.LO2023★ 3 cited
Parameterized Verification of Disjunctive Timed Networks
Étienne André, Paul Eichler, Swen Jacobs +1
We introduce new techniques for the parameterized verification of disjunctive timed networks (DTNs), i.e., networks of timed automata (TAs) that communicate via location guards tha…