Formal Methods for Robotics

  in Special Issue   Posted on December 22, 2018

Information for the Special Issue

Submission Deadline: Sun 31 Mar 2019
Journal Impact Factor : 1.041
Journal Name : Formal Aspects of Computing
Journal Publisher:
Website for the Special Issue: http://www.springer.com/cda/content/document/cda_downloaddocument/FACJSIRobotics.pdf?SGWID=0-0-45-1644626-p1015814
Journal & Submission Website: http://www.springer.com/new+%26+forthcoming+titles+%28default%29/journal/165

Special Issue Call for Papers:

This special issue is devoted to original research papers on techniques, applications,
industrial case studies, and experience reports connected to the design and deployment
based on formal methods of robotic systems. Focus is given on all aspects of modelling,
simulation, testing, and implementation for the validation and verification of robotic systems