Theoretical Computer Science · 2007 · 31 citations · 10 references
Logical AutomatonEngineeringAutomated ReasoningDeficiency 2VerificationFormal MethodsAutomaton NetworkAutomaton OperationComputer ScienceFormal Verification
10
Orienting polygonal parts without sensors
Ken Goldberg · Algorithmica · 1993 · 442 citations
Reset Sequences for Monotonic Automata
David Eppstein · SIAM Journal on Computing · 1990 · 250 citations