Formal verification of safety behaviours of the outdoor robot ravon.

Martin Proetzsch, Karsten Berns, Tobias Schuele, Klaus Schneider

Browse the full ICINCO paper archive.