Login / Signup

PuRSUE -from specification of robotic environments to synthesis of controllers.

Marcello M. BersaniMatteo SoldoClaudio MenghiPatrizio PelliccioneMatteo Rossi
Published in: Formal Aspects Comput. (2020)
Keyphrases