Incremental Component-Based Construction and Verification of a Robotic System.

Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Flix Ingrand, Joseph Sifakis

Browse the full ECAI paper archive.