1 citations · 5 across the 8 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.DM2022
Giant Components in Random Temporal Graphs
Ruben Becker, Arnaud Casteigts, Pierluigi Crescenzi +4
A temporal graph is a graph whose edges appear only at certain points in time. Recently, the second and the last three authors proposed a natural temporal analog of the Erdős-Rényi…
cs.DC2022★ 1 cited
Regular Model Checking Upside-Down: An Invariant-Based Approach
Javier Esparza, Michael Raskin, Christoph Welzel-Mohr
Regular model checking is a technique for the verification of infinite-state systems whose configurations can be represented as finite words over a suitable alphabet. The form we a…