1 citations · 4 across the 10 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.FL2019
Synchronization under Dynamic Constraints
Petra Wolf
Imagine an assembly line where a box with a lid and liquid in it enters in some unknown orientation. The box should leave the line with the open lid facing upwards with the liquid…
cs.FL2019
From Decidability to Undecidability by Considering Regular Sets of Instances
Petra Wolf
We are lifting classical problems from single instances to regular sets of instances. The task of finding a positive instance of the combinatorial problem in a potentially infi…