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

From MaRDI portal
Publication:2198133

DOI10.1007/s00165-020-00509-0zbMath1458.68218OpenAlexW3012575488MaRDI QIDQ2198133

Marcello M. Bersani, Claudio Menghi, Matteo Rossi, Matteo Soldo, Patrizio Pelliccione

Publication date: 9 September 2020

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-020-00509-0




Related Items (1)


Uses Software


Cites Work


This page was built for publication: PuRSUE -- from specification of robotic environments to synthesis of controllers