Ausgabe 2-3/2020
Formal Methods for Robotics
Inhalt (7 Artikel)
Collaborative models for autonomous systems controller synthesis
Douglas Fraser, Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman
PuRSUE -from specification of robotic environments to synthesis of controllers
Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione, Matteo Rossi
Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light
Adnan Rashid, Osman Hasan
Legislation-driven development of a Gift Aid system using Event-B
David M. Williams, Salaheddin Darwish, Steve Schneider, David R. Michael
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP
Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
Runtime enforcement of timed properties using games
Matthieu Renard, Antoine Rollet, Yliès Falcone