| PuRSUE -from specification of robotic environments to synthesis of controllers |
| English |
| Bersani, Marcello M. [Politecnico di Milano] |
| Soldo, Matteo [Politecnico di Milano] |
| Menghi, Claudio [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV >] |
| Pelliccione, Patrizio [Chalmers | University of Gothenburg, University of L’Aquila] |
| Rossi, Matteo [Politecnico di Milano] |
| 23-Mar-2020 |
| Formal Aspects of Computing |
| Springer |
| Yes |
| [en] Robotics ; software engineering ; controller synthesis ; formal methods |
| Researchers ; Professionals |
| http://hdl.handle.net/10993/44704 |
| 10.1007/s00165-020-00509-0 |
| H2020 ; 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems |