Formal verification of complex robotic systems on resource-constrained platforms.

Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Flix Ingrand, Anthony Mallet

Browse the full ICSE paper archive.