Deriving concurrent control software from behavioral specifications.

Ganesh Ramanathan, Benjamin Morandi, Scott West, Sebastian Nanz, Bertrand Meyer

Browse the full IROS paper archive.