Issue 2-3/2020
Formal Methods for Robotics
Content (7 Articles)
Open Access
Original Article
Collaborative models for autonomous systems controller synthesis
Douglas Fraser, Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman
Open Access
Original Article
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
Open Access
Original Article
Legislation-driven development of a Gift Aid system using Event-B
David M. Williams, Salaheddin Darwish, Steve Schneider, David R. Michael
Original Article
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP
Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
Original Paper
Runtime enforcement of timed properties using games
Matthieu Renard, Antoine Rollet, Yliès Falcone