2 papers
cs.FL2021
Petri Net Invariant Synthesis
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…
cs.AI2016
Relating Strong Spatial Cognition to Symbolic Problem Solving --- An Example
Ulrich Furbach, Florian Furbach, Christian Freksa
In this note, we discuss and analyse a shortest path finding approach using strong spatial cognition. It is compared with a symbolic graph-based algorithm and it is shown that both…