3 citations · 6 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2016★ 3 cited
What You Really Need To Know About Your Neighbor
Werner Damm, Bernd Finkbeiner, Astrid Rakow
A fundamental question in system design is to decide how much of the design of one component must be known in order to successfully design another component of the system. We study…
cs.LO2016
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata
Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans
We consider systems composed of an unbounded number of uniformly designed linear hybrid automata, whose dynamic behavior is determined by their relation to neighboring systems. We…