Skip to main content

Just-in-time Self-Verification of Autonomous Systems

Project description

Improving the development of autonomous systems

In recent years, engineers and computer scientists have been developing autonomous systems for use in a broad array of environments. They feature in self-driving cars, agricultural robots and unmanned aerial vehicles. But these systems face a serious problem in their development. The challenge for researchers is to find out how to programme them to adapt to special situations. Unfortunately, clearly defining how these systems should deal with each problem before their use is nearly impossible. The EU-funded justITSELF project will impose a paradigm shift which will shift attention away from programming predesigned responses. Instead, this new method will focus on just-in-time verification, a process by which the system will evaluate its next action constantly so as to achieve safety.

Call for proposal

ERC-2018-COG
See other projects for this call

Host institution

TECHNISCHE UNIVERSITAET MUENCHEN
Address
Arcisstrasse 21
80333 Muenchen
Germany
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 1 999 075

Beneficiaries (1)

TECHNISCHE UNIVERSITAET MUENCHEN
Germany
EU contribution
€ 1 999 075
Address
Arcisstrasse 21
80333 Muenchen
Activity type
Higher or Secondary Education Establishments