most citedEngineering the Hardware/Software Interface for Robotic Platforms - A Comparison of Applied Model Checking with Prolog and Alloy

3 citations · 3 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2014★ 3 cited

Engineering the Hardware/Software Interface for Robotic Platforms - A Comparison of Applied Model Checking with Prolog and Alloy

Md Abdullah Al Mamun, Christian Berger, Jörgen Hansson

Robotic platforms serve different use cases ranging from experiments for prototyping assistive applications up to embedded systems for realizing cyber-physical systems in various d…