14 citations · 37 across the 13 of their papers we have counts for
1 paper · 1 filter
Nicolaj Ø. Jensen, Kim G. Larsen, Didier Lime +1
Verification of real-time systems with multiple components controlled by multiple parties is a challenging task due to its computational complexity. We present an on-the-fly algori…