HIGHLIGHTS
- who: Mohammed Foughali and collaborators from the Universitu00e9 Paris Citu00e9, IRIF, CNRS, Paris, France, Chair of Cyber-Physical Systems in Production Engineering, Technical University of Munich, Garching, Germany have published the article: Formal Veri fi cation of Real-Time Autonomous Robots: An Interdisciplinary Approach, in the Journal: (JOURNAL)
- what: The authors focus on autonomous robots in this scope, which the authors simply refer to as real-time robots. The first contribution is the two-step verification approach presented by Foughali , of which this paper is an extension. The authors provide a high level of automation . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.