Formal verification of an autonomous wheel loader by model checking.

Rong Gu, Raluca Marinescu, Cristina Seceleanu, Kristina Lundqvist

Browse the full ICSE paper archive.