1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Peter Chini, Florian Furbach
We study the synthesis of inductive half spaces (IHS). These are linear inequalities that form inductive invariants for Petri nets, capable of disproving reachability or coverabili…