Statistical model checking for control software in autonomous robots

Scientific-Disciplinary Group

09/IINF-05 - Information Processing Systems

Description

The program involves the development of software tools based on Monte Carlo statistical methods for the automatic verification of control software (so-called statistical model checkers) inautonomous robots using temporal logic to describe requirements. Theoretical justifications, algorithms and heuristics for their operation, implementations, and experimental evaluations will be developed for these tools to determine their performance compared to alternative methods.The project's goal is to develop statistical model checkers that are demonstrably superior in verifying control software for autonomous robots compared to alternative state-of-the-art solutions. The candidate must submit a project proposal based on the following elements: A brief review of the state of the art in verifying the properties of control software for autonomous robots

Compensation

54,910 Euro

Job posting website

http://www.unige.it/concorsi/assricerca/

Number of positions

1

Maximum duration

24.0

Funding body

Università degli Studi di Genova

How to apply

https://concorsi.unige.it/home

Selection process