PuRSUE - From Specification of Robotic Environments to Synthesis of Controllers

Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione, Matteo Rossi
January 2020
Type
Journal article
Publication
Formal Aspects of Computing