1 citations · 1 across the 1 of their papers we have counts for
1 paper
Christopher Chandler, Bernd Porr, Alice Miller +1
In this paper, we show how model checking can be used to create multi-step plans for a differential drive wheeled robot so that it can avoid immediate danger. Using a small, purpos…