sorry, we can't preview this file
gather-checked.maude (72.69 kB)
gather-checked.maude
Download (72.69 kB) This item is shared privately
software
modified on 2018-03-27, 07:21 This is the specification and model checZking of mobile robot gathering